25/12/19 14:13:51.03 YNVzqr3d.net
>>115
>>数学者がよく 「ZFCだ ZFCGだ」と口にするけど
>>分かって言っているか 疑問だよ
少し補足しておくと
20世紀のZFCは、あたかも古代ギリシャの幾何原本と類似だ
ZFCは、基礎論の強制法をやるには 適している
が、普通の数学をやるには適さない
21世紀の現代幾何学は、古代ギリシャの幾何原本では やれないだろう（基本は定規とコンパスの幾何だから）
同様に、ZFCでは 空集合から順に実数構成などをやるが これを一般の現代数学でやる一般の数学者はいない
（多分、一般の数学者は 基礎論の知識は学部教養程度で止まっていて、聞きかじりのZFC議論なのだろう）
(参考)
URLﾘﾝｸ(www.math.chuo-u.ac.jp)
ENCOUNTERwithMATHEMATICS 中央大
URLﾘﾝｸ(www.math.chuo-u.ac.jp)
第78回 ZFC集合論 2025年1月10日（金），11日（土）
URLﾘﾝｸ(www.math.chuo-u.ac.jp)
薄葉季路：位相空間の距離化可能定理