Unprovable statements in ZF 
Possible Duplicate:
Advantage of accepting the axiom of choice
Advantage of accepting non-measurable sets 

As you all know, Banach-Tarski paradox is solely a consequence of Axiom of Choice, and I think it is just absurd.
I'm trying to take ZF as my axiomatic model rather than ZFC. I wonder if there are some theorems really important understanding our 'Number system' that can be proved in ZFC, but not in ZF. (i.e., every vector space has a basis is equivalent to axiom of choice, but i think we actually don't need this strong theorem since we are always working on finite dimensions (maybe not! Please tell me if there are some branches of mathematics studying infinite dimension))
I wonder how many risks should I take when I'm removing AC.
 A: The axiom of choice, while seemingly having counterintuitive results is needed to ensure that infinite sets are well-behaved.
Of course if you would only like to work with finite sets then the axiom of choice is not needed, however some things which you think hold immediately would fail without the axiom of choice, and they may fail badly.


*

*The union of countably many pairs may not be countable.

*The real numbers may be a countable union of countable sets.

*We may be able to partition a set into more parts than elements, in particular this set might be the real numbers.

*In the real numbers continuity by sequences and by $\varepsilon$-$\delta$ are no longer equivalent.

*Topology breaks down in acute manners, to horrid to begin to describe.


These three are far far more disturbing to me than Banach-Tarski, and these would hold in several models of ZF without the axiom of choice.
What more? Let's see, what else can fail badly


*

*There might be no free ultrafilters, on any set.

*In turn some fields might not have an algebraic closure; others could have two non-isomorphic closures, for example the rationals.

*There could be a tree that every point has a successor, but there is no $\omega$-branch.

*There could be a vector space which has two bases of different cardinality.

*Functional analysis may stop working due to lack of Hahn-Banach, Krein-Milman, Banach-Alaoglu theorems.


If you wish to do some set theory, perhaps, it also becomes hard:


*

*Cardinal arithmetics can fail for infinite sums and products.

*In forcing the mixing lemma fails.

*The partial ordering of cardinalities is not necessarily well-founded.

*There may be no canonical representative for $|A|$, namely a function which returns a particular set of the cardinality of $A$ (like the $\aleph$ numbers).


This list can be made really quite infinite. Why? Because modern mathematics is very much about infinitary objects and for those to be well-behaved we really need the axiom of choice, or else a lot of bad things may occur.
It is also the case that most people are educated by choice-using people, so the basic intuitions about mathematics actually use the axiom of choice a lot more than you would think.
However there are still merits to working without the axiom of choice. For those, see my recent post:
Is trying to prove a theorem without Axiom of Choice useless?
To read even more:


*

*Advantage of accepting the axiom of choice

*Advantage of accepting non-measurable sets

*Foundation for analysis without axiom of choice?

*Axiom of choice and calculus

*Number Theory in a Choice-less World
