The best thing about mathematics is that you can’t argue with a proof.
-
I did study this stuff formally, but it's been 40 years. Are you disputing the axiom of infinity? (A7 of ZFC in usual ordering). I dont think even Brouwer did that (but again, a long time).
The axiom that every integer has a successor. I’m not disputing it, just saying it has undesirable consequences.
-
-
well, existence of successor is actually a consequence of other axioms. A7 says that the collection of all successors is a set. once it’s a set then consequences follow.
-
call emptyset 0 call x union {x} succ(x) can prove from early axioms succ(x) exists all x cannot prove but need axiom to assert “there is a set containing every succ(x) starting from 0” axiom of infinity, seventh in usual order ZFC axioms
- Näytä vastaukset
Uusi keskustelu -
Lataaminen näyttää kestävän hetken.
Twitter saattaa olla ruuhkautunut tai ongelma on muuten hetkellinen. Yritä uudelleen tai käy Twitterin tilasivulla saadaksesi lisätietoja.