Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!yale-com!leichter
From: leichter@yale-com.UUCP (Jerry Leichter)
Newsgroups: net.math
Subject: Re: re Axiom of Choice
Message-ID: <2159@yale-com.UUCP>
Date: Thu, 13-Oct-83 17:05:00 EDT
Article-I.D.: yale-com.2159
Posted: Thu Oct 13 17:05:00 1983
Date-Received: Fri, 14-Oct-83 09:43:16 EDT
References: watmath.5962
Lines: 9

Whatever your own feelings about the Axiom of Choice, most mathematicians today
accept it.  Banach-Tarski may SEEM paradoxical, but huge amounts of modern
mathematics depend on Choice.  In fact, the final result that finally got
people to stop bothering, for the most part, with writing "given the axiom
of choice" was the proof of its consistency:  I.e.  Set theory + choice (or
+ not choice, for that matter) is consistent iff set theory is.  (I think this
is a result of Paul Cohen's; it was proved back in the early '60's.)
						-- Jerry
				decvax!yale-comix!leichter leichter@yale