>>722
>>Qは=付きで定義されていて=の公理は無限じゃないの？

なるほど
下記ですか

https://ja.wikipedia.org/wiki/%E3%83%AD%E3%83%93%E3%83%B3%E3%82%BD%E3%83%B3%E7%AE%97%E8%A1%93
ロビンソン算術
公理
Qの基盤となる理論は等号付き一階述語論理である。言語は次の構成要素からなる：

＜en.wikipediaより＞
https://en.wikipedia.org/wiki/Robinson_arithmetic
Robinson arithmetic
Axioms
The background logic of Q is first-order logic with identity, denoted by infix '='. The individuals, called natural numbers, are members of a set called N with a distinguished member 0, called zero. There are three operations over N: