kazz の数学旅行記

数学の話題を中心に, 日々の知的活動の旅路を紹介します.

2020-07-24から1日間の記事一覧

整列可能定理・ツォルンの補題の証明に必要な公理

今日の数学エッセーでは、以下の文献の中から、 選択公理から整列可能定理とツォルンの補題を導く際、 ZF のどれだけの公理が必要かを紹介します。 公理的集合論入門 結論を言ってしまえば、等号述語論理の公理系に加え、 [1] 外延性の公理 [2] 対の公理 [3]…