Schur の定理

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

どの $c\ge1$ に対しても、ある $S$ が存在して、 $[S]$ のどんな $c$ 色塗りにも、 $x+y=z$ を満たす同じ色の $x,y,z\in[S]$ （ $x=y$ でもよい）がある。

閉包の状態

✓ 公理まで証明済み

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

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

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

Ramsey の定理（多色・超グラフ版）✓定理 6.1・極値グラフ理論と Ramsey 理論
- 鳩の巣原理✓定理 7.5・数え上げと母関数
  - 非交和の性質✓命題 4.8・数学の国語

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