ツェルメロとは？
つぇるめろ
ツェルメロは、20世紀初頭のドイツの数学者で、集合論の公理化と選択公理の定式化によって現代数学の基礎構築に多大な貢献をした人物です。
エルンスト・ツェルメロ（Ernst Zermelo）は、1871年にドイツ・ベルリンで生まれ、1953年に逝去した数学者です。集合論と数理論理学の分野で革新的な業績を残し、現代数学の論理的基盤形成に欠かせない役割を果たしました。
ベルリン大学やその他のドイツの大学で数学を学んだツェルメロは、ゲッティンゲン大学でダフィット・ヒルベルトのもとで研究を行いました。1904年に「整列可能定理」を証明し、この証明において「選択公理」を明示的に使用したことが数学界で大きな議論を呼びました。
その後1908年に発表した「集合論の公理体系」は、カントールの素朴集合論の矛盾（ラッセルのパラドックスなど）を回避するための公理的集合論の最初の本格的な体系です。これをもとに後にアブラハム・フランケルが改良を加え、現在「ZF公理系」または選択公理を含む「ZFC公理系」として知られる集合論の標準的な公理体系が完成しました。
ツェルメロの業績は以下の点で数学史上重要です。
- 選択公理の明確な定式化と数学における役割の提示
- 公理的集合論の最初の本格的体系の構築
- 整列定理の証明による順序数論への貢献
今日の数学の基礎はZFC公理系の上に構築されており、ツェルメロの業績はすべての数学者が間接的に依拠する礎となっています。
使い方・例文
数学の基礎論を学ぶ際、集合論の授業でツェルメロ=フランケル公理系（ZF）の名前とともにツェルメロの業績が紹介されます。
この用語をシェア
最終更新: