宇宙原理
宇宙の物質は、十分大きなスケールで見ると一様（どの場所も同じ）かつ等方（どの向きも同じ）である。厳密には、各時刻の空間（宇宙時間 が一定の面） が、各点のまわりで回転対称、かつ並進対称であるような時空を考える。
閉包の状態
公理
公理は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
宇宙の物質は、十分大きなスケールで見ると一様（どの場所も同じ）かつ等方（どの向きも同じ）である。厳密には、各時刻の空間（宇宙時間 が一定の面） が、各点のまわりで回転対称、かつ並進対称であるような時空を考える。
公理
公理は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
証明で明示的に参照している定理は、まだありません。