0213132人目の素数さん垢版 | 大砲2020/08/08(土) 18:49:20.39ID:kHsY5TN2 >>211 「証明できるなら真だろ」とか「真なら証明できるだろ」とかは(強)完全性定理と言って数理論理学の基礎だから、君は数理論理学を勉強しよう