>>104
{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
はP(A)の表記が無いだけで、表記すれば
{x∈P(A)|{}∈x∧∀y[y∈x→y∪{y}∈x]}
となる。
もっぱら表記の違いだけなので、君の言いがかりは却下。

あと君、「無限集合」と言ってるけど、帰納的集合を指していることは分かってる？　君が持ち出した引用元の書き方が紛らわしいのだが、まさか所謂無限集合を指してると思ってないよね？　それ誤読だよ