つづき

1923年にはすでに[ 15 ]、フォン・ノイマンはカントールの順序数に対する新しい概念を提案していた。これはカントールが順序付き集合の順序型の抽象化から定義したものだ。フォン・ノイマンは順序数を集合論の公理を通じて導入された特定の集合とみなします。これは空集合 0から始まり、次に順序数 1のシングルトン {0}が続き、その後に順序数2 のペア{0,{0}}が続きます 。したがって、順序数 2 には0 と 1 が要素として含まれます。各順序数n (集合) の後には、その順序数 n が続き、これはn ∪ { n } の和として定義されます。これ以上説明を進めるつもりはありませんが、順序数 ω はすべての有限順序数を含む最小の順序数であり、ω+1 = ω ∪ { ω } などが続く最初の無限順序数であると付け加えることができます。その後、フォン・ノイマンは置換公理を使用して、順序数帰納法によって集合を定義する強力な方法を開発しました。この方法は、集合論に関する現在の書籍[ 16 ]でも今でも高い位置を占めています。

1930年にツェルメロは、自身とフランケルにちなんでZFと名付けた新しい公理系を提案した[ 17 ]。このシステムには、置換公理と基礎公理が含まれます。しかしながらツェルメロは、スコーレム[ 18 ]とは異なり、第一階論理の枠組みに自分自身を制限していません。 1908 年と同様に、ツェルメロは、集合ではなく要素を含まないドメインのオブジェクトである 原素の存在を認めています。これらの対象は現在では集合論から省略されることが多い[ 19 ]。

ゲーデルとバーナイズによるGB [ 20 ]（またはBG [ 21 ] ）公理系は1940年以前に登場し[ 22 ]、ZFの拡張である。 GB言語にはセット変数とクラス変数があります（クラス変数は特定のセットファミリーを表現するものと考えることができます[ 23 ]）。しかし、集合のみに関係し、GBで証明できる命題はZFでも証明できる[ 24 ]。

1966年にポール・コーエンが連続体仮説の独立性の証明に関する著書[ 25 ]で、今日行われているようなZF理論が提示されました。
(引用終り)
以上