2006-07-23 I0-I3 集合論 かがみさんの日記 - Scottの定理・可測基数とL 初等的埋め込みが存在すればです。さらに初等的埋め込みは存在しないことが知られています(Kunen 1971)。 細かいですが、正確には「定義可能な」という言葉が必要です。はLの中から見ればなわけで。