0233132人目の素数さん垢版 | 大砲2014/04/10(木) 22:18:53.70 僕は昔集合論を勉強し始まったころ、ZF から AC が証明できると思い込んで、 しかもそれが「直観的にも明らか」だと信じてしまっていた経験がある。 後でゲーデルやコーエンの理論を読んで、じっくり反省しました。