ダークマター

定義 9.2（「宇宙論」§9）

電磁波を出しも吸いもせず、重力を通じてのみ存在が分かる物質成分をダークマターという。構造形成との整合から、速度は光速より十分遅い（冷たい）と考えられている。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

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

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