>>96
素朴な人ね
数理論理学ではシーケント計算で導出できるものが真だよ
否定が導出できたら偽