>>484
元の話はそういう複雑なのではなく、
述語記号の変数の数や関数記号の変数の数が決まっているというためには自然数論が要るのではないか?
という話だから。