> If you do not take the axiom of choice, it is simply false Nitpick: If you...

		jules on July 4, 2012 \| parent \| context \| favorite \| on: Godel's 2nd Incompleteness Theorem Explained in Wo... > If you do not take the axiom of choice, it is simply false Nitpick: If you do not choose the axiom of choice, then Banach-Tarski is independent, not false. So you can't prove that it's true and you can't prove that it's false.