ペアノの公理
Then "C" is said to satisfy the Dedekind–Peano axioms if US1("C") has an initial object; this initial object is known as a natural number object in "C". If is this initial object, and is any other object, then the unique map is such that