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