ノート:構成可能集合

あとfine structureのこと、Kurepa Hypothesisとかdiamond plusのこと、inner model programのことは書きたいです。が、後日と言うことで。Tishiu 2004年7月23日 (金) 05:29 (UTC)

ゲーデルの仕事の要点は、 $\mathrm {ZF} \vdash \mathrm {ZF} ^{\boldsymbol {L}}$ と $\mathrm {ZF} \vdash ({\boldsymbol {V}}={\boldsymbol {L}})^{\boldsymbol {L}}$ と $\mathrm {ZF} +({\boldsymbol {V}}={\boldsymbol {L}})\vdash \mathrm {GHC}$ なんだから、 「ゲーデルは、標準的な集合論の公理系である ZF の任意のモデルにおいて、構成可能集合からなるクラス（通常 L と記される）が ZFC、すなわち ZF に選択公理を加えたものを満たすことを示した。」の「の任意のモデルにおいて」は、余計なのでは？ Wd 2005年1月15日 (土) 08:33 (UTC)