>>83
>タプルの演算を導入すれば、１以上の自然数
>だけで０や負の整数を扱えるよう保存的拡大ができる。
>>76
>>0ってなに？
>自然数以外の定数として導入すれば済む話。
↑
言ってることコロコロ変わってて草

>そもそも一階述語論理の帰納法に限定してるとは>1のどこにも書いてない。
>1が限定してないのはその通りだが、おまえもずっとペアノ算術の話をしていた。
>77で突然実数論を持ち出し、>83で突然整数論を持ち出した。それは指摘への回答に窮したからだろ？　なのに
>おまえが勝手に決めてるだけ。
は草。どんだけ自分本位なんだよおまえ。発達障害か？