熱平衡での中性子と陽子の個数比

補題 8.7（「宇宙論」§8）・ ✓公理まで証明済み

弱い相互作用で熱平衡にあり、 $kT\ll m_pc^2$ なら

\frac{n_n}{n_p}=\left(\frac{m_n}{m_p}\right)^{3/2}\exp\!\left(-\frac{(m_n-m_p)c^2}{kT}\right)\approx\exp\!\left(-\frac{1.29\ \mathrm{MeV}}{kT}\right).

閉包の状態

✓ 公理まで証明済み

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

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

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

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