寻观「标准库」之书。 「:古:数尽则一,未尽则乘而复召己身。今:以递归定义阶乘。:」 「阶乘」乃化「整数」而「整数」也。 「阶乘」者会「数」而 若「等」于「数」于「零」 则「一」 否则「乘」于「数」于(「阶乘」于(「减」于「数」于「一」))也。 「打印行」于(「整数表示」于(「阶乘」于「六」))。