22/01/16 11:55:17.60 e5xijWkZ.net
>>260 補足
突然ですが
>>34 より
斎藤毅 「集合と位相」（東大出版会 2009）の
P90～91 第4章 位相空間 の
よりみち 62 に
”公理的方法をとることで、議論の不要な反復を避け、論点を明確にすることができる
しかし、公理的方法の真の効用はそのような消極的なものではなく
見かけ上かけ離れた対象を比較できるようにし、その共通点や相違点を明らかにすることがある”
とある
21世紀 2022年のいま、ZFCは数ある公理系の一つでしかない
urelementを認めても、何の問題もないだろう
しかし、「無限重シングルトン」>>246 は、ZFC内に存在しても、不思議はないと思っている
もし、その存在をZFC内で 否定できると思う人は、どうぞ否定してみてくださいｗ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
公理
目次
1 公理の例
2 歴史
3 公理の形式性
4 公理の直観的・歴史的な妥当