IΣₙ
#理論
#算術の公理
定義
定理
$ \mathrm{I\Sigma_n} = \mathrm{I\Pi_n} = \mathrm{I\Sigma_0(\Sigma_n)} = \mathrm{L\Sigma_n} = \mathrm{L\Pi_n} = \mathrm{L\Sigma_0(\Sigma_n)}