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 29 minutes ago | parent [-]

you are entitled to have your opinion :-)

	▲	Almondsetat 6 minutes ago \| parent [-]
		and you are entitled to talk about maths while rejecting maths