今回の数学エッセーでは, 集合論に関するマイナーな話題です. [1] 正則性公理の独立性.[2] ブルバキ数学原論で定式化された集合論 T_B が ZFC - {正則性公理} の保存拡大となっていないこと. この二点について概観します. まず, [1] について. 2 以上の自然…

今回は, 集合論 ZFC を基準として, 正則性公理や個体の全体からなる集合の存在公理や超限論的選択関数にまつわる相対無矛盾性や相対独立性についての証明を pdf にまとめました. https://www.researchgate.net/publication/352165875_gonglidejihelunrumen