ペアノの公理
Peano axioms
ジュゼッペ・ペアノ（Giuseppe Peano）
算術の超準モデル
プレスバーガー算術
ラムダ計算
レーヴェンハイム＝スコーレムの定理
ロビンソン算術
/mrsekut-p/ペアノの公理
ペアノの公理 - Wikipedia