25/12/19 17:50:43.56 y9Q1DrJ/.net
>>114
>数学者がよく 「ZFCだ ZFCGだ」と口にするけど
>分かって言っているか 疑問だよ
Gは要らないけれどZFCはみな勉強はしてますよ
明示的には使わないけれど
あと
真クラスが登場する可能性がある当たりは
十分注意しますね
そんなのが必要な人は少ないけど
>なので、数学者の「ZFCだ ZFCGだ」は、基礎論屋さんの受け売りにすぎないことが多い
何が「なので」なのか意味不明
>因みに、Stix氏は "simplification"=藁人形 は 分かっていると思う
分かってるって思うというのはかなり傲慢では?