Remix.run Logo
Remix clone Hacker News
new | show | ask | jobsGithub
▲ Almondsetat 39 minutes ago

why should they be obvious? they are derived and have been thoroughly proven.

▲andriy_koval 30 minutes ago | parent [-]

looks like we are in disagreement

▲Almondsetat 8 minutes ago | parent [-]

A quick google search shows different proof assistants have been used to obtain the Peano axioms from ZFC, such as Isabelle/ZF and Metamath. I think you're just wrong

▲andriy_koval 4 minutes ago | parent [-]

you are entitled to have your opinion :-)