ある組織-6a-現実のモノの集まり

　「ある組織-4a-」に現実のモノの集まりはZF公理系のモデルではない、と書きましたが、ZF公理系で定義される集合達の一部のモデルにならばなります。すなわち自然数の有限集合をとれば、現実のモノの集まりと１対１に対応しますから規則８「置換公理」により現実のモノおよびモノの集まりも集合とみなせます。こうして現実のモノの集まりの離散集合の様子をZF集合論の公理や定理から演繹することができます。

　うーむ、やや強引な理屈付けだったような気がします。

　関連記事：ある組織-6-置換公理