There is a set of axioms for the arithmetic of the natural numbers which is based on mathematical induction. This is called "Peano's Axioms". The undefined symbols are | and =.The axioms are
ð ɛ ɹ WORD_BOUNDARY ɪ z WORD_BOUNDARY ʌ WORD_BOUNDARY s ɛ t WORD_BOUNDARY ʌ v WORD_BOUNDARY æ k s ɪ ə m z WORD_BOUNDARY f ə ɹ ð ɪ WORD_BOUNDARY ə ɹ ɹ ɪ θ m ə t ɪ k WORD_BOUNDARY ʌ v ð ə WORD_BOUNDARY n æ t̠ʃ ə ɹ ɹ ə l WORD_BOUNDARY n ʌ m b ə ɹ z WORD_BOUNDARY w ɪ t̠ʃ WORD_BOUNDARY ɪ z WORD_BOUNDARY b eɪ s t WORD_BOUNDARY ɔ n WORD_BOUNDARY m æ θ ɪ m æ t ɪ k ə l WORD_BOUNDARY ɪ n d ʌ k ʃ ə n WORD_BOUNDARY ð ɪ s WORD_BOUNDARY ɪ z WORD_BOUNDARY k ɔ l d WORD_BOUNDARY p iː n oʊ z WORD_BOUNDARY æ k s ɪ ə m z WORD_BOUNDARY ð ɪ WORD_BOUNDARY ʌ n d ɪ f aɪ n d WORD_BOUNDARY s ɪ m b ə l z WORD_BOUNDARY ɑ ɹ WORD_BOUNDARY æ n d WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY ð ɪ WORD_BOUNDARY æ k s ɪ ə m z WORD_BOUNDARY ɑ ɹ WORD_BOUNDARY