>>129
99がそういうアホな主張をしてるんだよ。こっちじゃなくてあっちに言ってくれ

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