私が聞きたかったのは、369さんが答えてくれたようなことです。
言葉足らずでどうもすみません。

>選択公理の相対無矛盾性を示すのは、Lを構成するのが一般的だけど
>これってZFの中の話だと思うんだが。
私もそうだと思ってます。でも、だとすると352の
>公理的集合論のモデルも「集合論」の
>「集合」で記述される。
というのは何のことを言っているのでしょうか。