僕は昔集合論を勉強し始まったころ、ZF から AC が証明できると思い込んで、
しかもそれが「直観的にも明らか」だと信じてしまっていた経験がある。

後でゲーデルやコーエンの理論を読んで、じっくり反省しました。