It is true in the Cohen generic extension of L, the constructible universe, that every countable ordinal-definable set of reals belongs to L.
生成讲解博客的中文版本
生成AI智能校验的中文版本