Inter-universal geometry と ABC予想否定派

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

Inter-universal geometry と ABC予想否定派 - 暇つぶし2ch173:１３２人目の素数さん
20/04/22 23:04:36 LxI+KLOb.net
>>166
また一つ公理が増えたな
まあ勝手に構成してろ

人間は動物だ
ソクラテスは人間だ
ゆえに
ソクラテスは動物だ

しかし

すべてのカラスは黒い
あるカラスが居る　←これが居ることの担保がない
ゆえに
そのカラスは黒い

この問題を回避するにはどういう公理が必要なの？

次ページ

続きを表示

1を表示