Yahoo!知恵袋で「一階述語論理について」の回答に
「実際に理論を定義するとき、個々の述語記号の変数の数は具体的に決めます。
また個々の関数記号の変数の数も具体的に決めます。これには自然数論は要りません。」
とあるけど、それで済んでるか？　自然数の一般的な性質を使っとるのではないか？