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