18/11/17 10:53:28.49 JAx0r27M.net
>>523
つづき
２）
URLﾘﾝｸ(ja.wikipedia.org)
ペアノの公理
(抜粋)
存在と一意性
一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。
（レーヴェンハイム＝スコーレムの定理）
二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[1]。
ラムダ計算はペアノの公理を満たす自然数の、異なる構成法を与える。
脚注
[1]^ 田畑博敏 『第二階論 によるペアノ算術』
URLﾘﾝｸ(repository.lib.tottori-u.ac.jp)
URLﾘﾝｸ(repository.lib.tottori-u.ac.jp)
URLﾘﾝｸ(researchmap.jp)
田畑 博敏
(引用終り)
つづく