Peano arithmetic
ja: ペアノ算術
これの公理をペアノの公理と言う。
en: Peano axioms
しかし、自然数の公理もペアノの公理なのに注意。 #用語の衝突
普通は一階述語論理で定式化する。
ただし、公理図式は使う。
公理
ref.
https://ncatlab.org/nlab/show/Peano+arithmetic
Peano axioms - Wikipedia
#数理論理学 #Peano