>>82
また深夜に発狂かｗ
精神科で診てもらってるか？ｗ

一階の論理式に限定しても、タプルの演算を導入すれば、１以上の自然数
だけで０や負の整数を扱えるよう保存的拡大ができる。

そもそも一階述語論理の帰納法に限定してるとは>>1のどこにも書いてない。
おまえが勝手に決めてるだけ。