Inter-universal geometry と ABC予想 52

Inter-universal geometry と ABC予想 52at MATH

Inter-universal geometry と ABC予想 52 - 暇つぶし2ch528:１３２人目の素数さん
20/05/09 09:53:08.87 O6gqR1gl.net
>>502
そもそも内包公理は元々ひとつの公理であって
それを論理式をパラメータにして無限個の文を作ればいいと分かったのは後のことだよ
「ZFCの公理が9個」っていう慣例的な表現と「ZFCは無限個の文から成る」っていうテクニカルな話を混同して批判するのはナンセンス

次ページ

続きを表示

1を表示