>>556
メタに明らかだから公理に付け加えればいいですね
言葉が足りませんでした


>>556
＞「Nの任意の部分集合」をメタレベルで表現できないので、

Nの任意の部分集合、はメタな表現だと思いますけど？