数理論理学（数学基礎論） その13

[0674 １３２人目の素数さん 2019/01/19(土) 18:05:21.29 ID:udFEJ8kb]

∀S∋0[ ∀n∈S[suc(n)∈S] ⇒ N⊆S ]
数学的帰納法ってこれじゃダメ？
一階述語論理の1つの公理で表せてない？