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