3 主定理

自然数 \(k\) を \(2^m(2n+1)\) と表し（表し方は1通り＝Linj）、\(m\) の偶奇で整数の符号を決めて、\(k\) に有理数 \(\pm i \div (n+1)\)（\(m = 2i\) なら \(+\)、\(m = 2i+1\) なら \(-\)）を対応させる。\(k = 0\) は \(0 \div 1\) に送る。
どの有理数 \(a \div b\) も、\(b = n+1\)、\(a = i\) なら \(m = 2i\)、\(a = -i\) なら \(m = 2i+1\) として値に現れるので、この対応は全射。
\(\exists f \, f \in \mathbb{M} \stackrel{\rm S}\to \mathbb{Q}\) \(\blacktriangleleft\) \(\mathbb{W}.\) ，ax_s ，𝕄0s ，IND𝕄 ，suc𝕄 ，+𝕄 ，*𝕄 ，↑𝕄