Plotkin 限界

定理 5.6（「線形符号」§5）・ ✓公理まで証明済み

$\theta = 1 - 1/q$ とする。 $(n, M, d)_q$ 符号が $d > \theta n$ を満たすならば

M \le \frac{d}{d - \theta n}

である。 $q = 2$ のときは、 $2d > n$ ならば $M \le \dfrac{2d}{2d - n}$ である。

閉包の状態

✓ 公理まで証明済み

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

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

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