The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings

決定性公理

決定性公理（けっていせいこうり、、AD と略される）とは、1962年に、によって提案された集合論の公理である. もとの決定性公理はゲーム理論に言及し、可算無限の長さをもったある特定の二人について（後述）、どちらかのプレイヤーは必ず必勝法を持つことを主張する.

フォン・ノイマン＝ベルナイス＝ゲーデル集合論

数学基礎論において、フォン・ノイマン＝ベルナイス＝ゲーデル集合論 (NBG) とはツェルメロ＝フレンケル＝選択集合論 (ZFC)の保存拡大である公理的集合論である. NBGでは、量化子の範囲を集合に限定した論理式によって定義される集合の集まりとして、クラスの概念を導入する.

決定公理

在數學上，決定公理（Axiom of determinacy，常記做AD）是一個在1962年由和所提出的可能的集合論公理，這公理探討的是特定類型且長度為ω的二人，而決定公理聲稱，任何這類的遊戲都是，也就是這兩個玩家中其中一人有必勝策略.

Теорема де Брейна — Ердеша (теорія графів)

Теорема де Брейна — Ердеша — класична теорема теорії графів доведена Палом Ердешем і Ніколасом де Брейном.