This was brought up in another thread. Here is a post by W.D.Clinger.
Wikipedia has a list of equivalent statements and theorems that follow from ZF+AC. I've heard of Tychonoff's theorem being important, but I've never really known why. The law of trichotomy for cardinal numbers and the...
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.