いちど証明された定理が覆されることは無いんやないの 「証明はされていないがおそらく正しい」と思われていたものが否定されることはあるけど

公理系を緩めたり拡張したりしていく感じかなあ。正しさが積み上がっていくというよりは、「今のところ正しいと言える範囲はこれ」という形で公理系が設定されるという感じで、実...