- 312 名前：１３２人目の素数さん mailto:sage [2012/01/15(日) 20:05:32.35 ]
- >>308
Stanford Encyclopedia of Philophy の Koellner の記事
(plato.stanford.edu/entries/independence-large-cardinals/)から引用：
A large cardinal is small if the associated large cardinal axiom can hold in Gödel's constructible universe L,
that is, if “V ⊨ κ is a φ-cardinal” is consistent, then “L ⊨ κ is a φ-cardinal” is consistent.
Otherwise the large cardinal is large.
この定義によると24のゼロシャープはもう large large cardinal のはずだが。
