Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 20-Dec-2021 15:58:27 JST きゅーけー

   あー、なるほど。そもそも素朴な立場から始めて後から厳密化していくスタイルを取っているわけで、集合の和を定義した時点ではまだ公理の必要性を示してなかったというだけなのか。で、後になって集合族の和が集合であること公理として認めるという展開になっていたと。

   納得しました。ありがとうございます。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 20-Dec-2021 16:02:23 JST きゅーけー

     in reply to

     公理的集合論に裏打ちされた展開のため誤りを含めないように慎重に記述し、かつ入門者にとって理解可能なように話を進めた結果であることがよくわかりました。