>>684
>2)一方、P(A)-Φから、その部分集合を作り出す 置換公理の関数は
> あくまで 定義域は ただ一つ P(A)-Φ のみ
こそが意味不明のたわごと