Inter-universal geometry と ABC予想否定派

Inter-universal geometry と ABC予想否定派at MATH

Inter-universal geometry と ABC予想否定派 - 暇つぶし2ch875:Lonely Wolf
20/04/30 15:40:12.85 iOTvTOpS.net
ｽﾚﾘﾝｸ(math板:334番)
>①すべての素数は奇数である
正確に書けば
「xが、１とx以外で割り切れない自然数であるならば2で割り切れない」
そして、実は偽である
なぜなら
「2は、１と2以外で割り切れないが、2で割り切れる」
上記はロビンソン算術の公理を前提した上で、形式論理学で証明できる

次ページ

続きを表示

1を表示