ミスった

>>365の「ZFの外の言語」って何を指してるのかちょっとよく分からないな。
選択公理の相対無矛盾性を示すのは、Lを構成するのが一般的だけど
これってZFの中の話だと思うんだが。