>>211
「証明できるなら真だろ」とか「真なら証明できるだろ」とかは(強)完全性定理と言って数理論理学の基礎だから、君は数理論理学を勉強しよう