したがって、どのクラスも集合または真のクラスであり、両方同時に当てはまることはない。
ゲーデルは大文字の変数をクラス上の変数、小文字の変数を集合上の変数とした。 また、ゲーデルは、すべての集合からなるクラス上に定義された関数や関係を含む特定のクラスは、大文字から始まる名前で表した。本記事ではゲーデルのこの表記法に従う。すると以下のように書ける：
以下の公理と定義はクラス存在定理の証明に必要である。
順序対は以下のように定義される。
対は順序対を使って再帰的に定義される：
クラス存在公理と正則性公理.
述語に関する公理：
対に関する公理：
クラス存在定理の証明にはもう一つの公理、正則性公理が必要である。空クラスの存在が証明されるため、この公理のふつうの言明を用いる。
クラス存在定理.
クラス存在定理の証明. 証明は与えられた論理式に変換規則を適用して、論理式を変換することから始める。この論理式は与えられた論理式と等価であるので、変換済みの論理式を証明すればクラス存在定理の証明が完了する。
クラス存在定理の拡張.
以下の定義は論理式での関係、特別なクラス、演算の定義方法を特定する。
は以下のように定義される：
集合公理.
大域選択公理.
歴史.
フォン・ノイマンはツェルメロ集合論の問題点に対処し、解決策を与えた：
ベルナイスの公理系.
モデル.
圏論.
石川知綱
略歴.
構造.
経緯.
背景.
最初の着工と中断.
国際援助と再検討.
代替案を分析するためにクロアチアが作成した調査結果において、橋の建設は、代替案である高速道路回廊、フェリーによる接続、トンネル建設と比較して、安全性、交通への影響、環境への影響の総合値や、費用便益分析で最高のスコアを得たため、最も有利な選択肢であると結論づけられている。このプロジェクトは、ボスニア・ヘルツェゴビナ当局とも協議の上、準備が進められた。また、クロアチアは自然保護の観点も十分な考慮をする必要があった。
建設工事.
論争.
環境保護.
費用対効果.
国際法とボスニア・ヘルツェゴビナの公海へのアクセス.
国境画定協定との関係.
ダーン・ロッツ
クラブ経歴.
概要.