>>456は>>481でゲーテルナンバーのことを書いていたけどそういうことではないうのですね。
>>504の書き方だと、{と}の「と」は１つの元を表しているわけではないのですね。

因みに、これはどのように出てくるものなのでしょうか？
いままで、根拠が全く無いので、ヒントくらいお願いします。
（ＺＦＣの正則性、ＢＧのファンダメンタル公理：¬（Ａ∈Ａ）
のようなものでしょうか？）