凸位置の点についての Erdős–Szekeres の定理

系 6.5（「極値グラフ理論と Ramsey 理論」§6）・ ✓公理まで証明済み

どの $n\ge3$ に対しても、ある $N$ が存在して、平面の一般の位置にあるどんな $N$ 点も、凸位置にある $n$ 点を含む。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 8 件、定義なども含めて 8 件）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

Ramsey の定理（多色・超グラフ版）✓定理 6.1・極値グラフ理論と Ramsey 理論
- 鳩の巣原理✓定理 7.5・数え上げと母関数
  - 非交和の性質✓命題 4.8・数学の国語
凸位置についての 3 つの事実✓補題 6.4・極値グラフ理論と Ramsey 理論
- 取り替え補題✓補題 5.4・ベクトル空間と線形変換
  - 生成される部分空間は S を含む最小の部分空間✓補題 4.4・ベクトル空間と線形変換
    部分空間の判定条件✓命題 4.2・ベクトル空間と線形変換この先をたどる →

証明で明示的に参照している定理は、まだありません。