Inter-universal geometry と ABC予想 23

Inter-universal geometry と ABC予想 23at MATH

Inter-universal geometry と ABC予想 23 - 暇つぶし2ch778:１３２人目の素数さん
18/01/19 02:15:47.76 nZC5+R6V.net
軽く寝る前に一つ足すと、基本的な想定舞台はトポスなんだろうけど
トポスではできる、と非論理学者の数学者が感じていることをZFCや集合論の基礎に
翻訳するのは厳密性の点で難しいのかもしれない
まず集合論として注意が向いてるのは基本的な包含関係や選択公理との整合性だと思うので
数学者が大丈夫だと感じるなら大丈夫だと思うな、本質部分は

次ページ

続きを表示

1を表示