ペアノの公理
The simplest encoding is the one used in the Peano axioms, based on the constant 0 (zero) and the successor function "S".