>>188
ふっふ、ほっほ
踏みつけたゴキブリ、しぶといなぁ〜、まだ動いているよｗ ；ｐ）

(引用開始)
>こちらの式の問題点は、>>177に指摘の通りで ”「x は無限集合である」という命題を M(x) とし”の部分であって
>ここを きちんと 集合の言葉で書けるかどうか？ そこが問題です
なんとか先生のφ(x)を使え
(引用終り)

「x は無限集合である」という命題が M(x)だというが
言葉で書けば簡単だが、”無限”という用語は使えないよ
”無限”という用語を使わずに
「x は無限集合である」という意味を 集合の言葉として M(x)を どう書けばいいのか？
それが、問題だ by ハムレット

なお
『N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}（Aは無限公理により存在する集合を任意に選んだもの』>>185
において
下記の ja.wikipedia 順序数の大小関係 を借用して
A={0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω)))}
を考えよう

x1={0, 1, 2, 3, ............, ω, S(ω)}
x2={0, 1, 2, 3, ............, ω, S(ω), S(S(ω))}
x3={0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω)))}

このとき、xi⊂A ｜i=1,2,3 だから
∩(i=1〜3) xi＝{0, 1, 2, 3, ............, ω, S(ω)}
となる
N≠∩(i=1〜3) xi
ですよ

つまり、自然数Nに余計な ω, S(ω) が入りましたｗ ；ｐ）
なので、『N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}』このままでは
自然数Nの規定としては、ちょっとまずい

で、記号∩ なんて、メンドクサイものを使うのをやめれ
>>115 仏語 Axiome de la réunion、英語 Axiom of union
>>153 渕野 昌先生、>>62 Akito Tsuboi 筑波大
みんな 記号∩は 使わないぞｗ　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
順序数の大小関係
・α が順序数のとき、S(α) ≔ α ∪ { α } は α より大きな順序数のうちで最小のものである。S(α) を α の後続者 (successor of α)と呼ぶ
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω)))