GEB, стр. 209

**GEB, стр. 209**

Пять аксиом ТТЧ (Пеано):

1. ∀a:~Sa=0 (0 не следует ни за чем)
2. ∀a:(a+0)=a
3. ∀a:∀b:(a+Sb)=S(a+b)
4. ∀a:(a·0)=0
5. ∀a:∀b:(a·Sb)=((a·b)+a)
"Всё остальное можно вывести путём логических рассуждений."

🌀 Джузеппе Пеано, 1889 год.