>>572 (続き)
分かってないなりにもう少し書いてみます
全ての帰納的集合の交叉を N' とします。
分出公理により N' は"集合" です
自然数の集まり: N
関数 S(x) := x ∪ {x}
述語 P(x) := ∃n∈N( x = S^n(0) )