変数はいっぱいあってもいいでしょ
１階ってーのは∀とか∃で縛られるのが（対象をあらわす）変数だけで
述語（〜である）を縛る形∀f(f(x)みたいなのはゆるさねーよって事

数の他に集合も対象にして述語∈を使えば集合論みたいに１階の整数論もできるんだろうけど
１階の算術って言うときはもうすこし限定した意味で、数と＜だけでなんとかならないかな、って話だと思う

素人なんで適当ですが、専門家に叱ってもらおう