すみません。誤解を与えてしまいました。
例えば先に挙げた{日本語,英語}という集合の存在は集合論の公理系から演繹できないと思うのですが、そうなるとこの集合？を考えることはナンセンスになるのでしょうか？