俺の言いたいこと、つまりおまえの問題点は>>567>>569に全て書いてある
>>570の質問もそうだが、どのレベルのペアノ算術なのか区別できていないのも全く同じ問題