0237132人目の素数さん垢版 | 大砲2014/04/11(金) 09:15:05.52 >>233 それがあなたなりの根拠があってそう直感したということだったとしたら おもしろいね。どういう根拠だったか知りたい。少なくとも、¬ACの独立性は 正しく直感していたということなわけだし。 >>234 なにか代わりの公理を入れて? >>235 完全性定理