数学 › 数学コラム › 数学はなぜ難しいのか
証明
主張 の証明とは、すでに正しいと認められている事柄（定義・公理・既に証明された定理）だけを出発点とし、論理の規則だけを使って に至る有限個のステップの列のことです。途中に「たいてい成り立つ」「たぶん大丈夫」というステップを含めてはいけません。
閉包の状態
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。