ペアノの公理
The Peano axioms can also be understood using category theory. Let "C" be a category with terminal object 1"C", and define the category of pointed unary systems, US1("C") as follows: