News for hackers. Stuff that matters.

A comment on Formalizing Fermat's Last Theorem. Parent comment

Re:Formalizing Fermat's Last Theorem by IsTom on Saturday September 05, 2026 @05:32PM (#49580903)
Per https://en.wikipedia.org/wiki/Peano_axioms#Set-theoretic_mod...

> 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.

[ Parent | on HN ]
Re:Formalizing Fermat's Last Theorem by andriy_koval on Saturday September 05, 2026 @05:48PM (#49581024)
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.

[ Parent | on HN ]