No, once you start formalize this, it becomes complicated. There is a reason why...

IsTom · 2026-09-05T21:32:56

> The Peano axioms can be derived from set theoretic constructions of the natural numbers and axioms of set theory such as ZF.[15]

If you're going against the general consensus you should present something more than nebulous assertions that it's wrong.

andriy_koval · 2026-09-05T21:48:05

Obviously citation from wikipedia can't be considered as replacement of math proof.

> If you're going against the general consensus you should present something more than nebulous assertions that it's wrong.

burden of proof is on the one who claims something exists.