>  2021/12/09 (木) 13:52:02        [misao]
> > ああ(;´Д`)インターネットに書いてあることは全て嘘だ
> つまりどういうことよ(;´Д`)

数論を含む論理体型においては真偽を証明できない命題が存在するということ?(;´Д`)

参考:2021/12/09(木)13時40分42秒