Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.



Re: Antifoundation axiom
Posted:
Mar 9, 2013 6:19 PM


CharlieBoo wrote:
> You can't really have axioms for set theory. Axioms are a way to > formalize our understanding of a subject e.g. number theory or > geometry. They are so well developed and understood that we try to > codify our great understanding with a formal system. > > But how well do we understand sets? There are a dozen versions of set > theory. You end up with conflicting theorems from one system to > another!! Can you imagine 2 different versions of Geometry or Number > Theory? At most one would be right.
I like you Charlie. I often think I'm the dimmest poster to sci.logic and sci.math and it's a bit embarrassing. But then you come along... thanks pal!  When a true genius appears in the world, you may know him by this sign, that the dunces are all in confederacy against him. Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting



