Recursion
摘要
People explore the world with numbers. Chapter 1 shows examples that are isomorphic to natural numbers under Peano axioms, like the list data structure in programming. Natural number is a basic tool. However, we accept the recursive definition without proof of its correctness, for example, the factorial.