>>164
証明できる元の詳細求む。
次の2階の∀を使った帰納法の公理

∀P(P(0)∧∀y(P(y)⊃P(y'))⊃P(x))

を満たすxの値のことだと思うけれど。