>>222
あとどうもイミフなんだが、ゲーデルが決定不能な命題の存在を証明したのは正しく自然数の体系内でのことだぞ？
大体が、ウソつきのパラドクスや床屋のパラドクスなんかのどこにそんな超越的な要素があるのか？

あと可算選択公理だとバナッハ・タルスキーのパラドクスは起こらないってのは証明されたことなのか？