Выдержка из книги
Хофштадтер Д.Р.
Гедель, Эшер, Бах эта бесконечная гирлянда
Интерпретация первой аксиомы - Нуль не следует ни за каким натуральным числом - это одно из пяти знаменитых свойств натуральных чисел, впервые выраженных математиком и логиком Джузеппе Пеано в 1889 году. Излагая свои постулаты, Пеано следовал за Эвклидом в том смысле, что он не пытался формализовать принципы логических рассуждений.