>>660
＞　>>654(3)の前提条件は
＞　無限番目以降のZermelo ordinal numberは
＞　満たす事ができません。

あなたのいう(3)の前提条件とは
「 F(X)の任意の元がsingleton」
のことですね

そういうときは(3)の前提条件と書かずに
はっきり言明として書いてください　
そうでなければ他人はわかりませんよ