0099132人目の素数さん垢版 | 大砲2023/11/09(木) 07:49:58.24ID:+KxEy61/ >>96 素朴な人ね 数理論理学ではシーケント計算で導出できるものが真だよ 否定が導出できたら偽