12/10/07 00:04:35.96
ありゃ本当だ……失礼しました。
「(†)はZFCから独立である」みたいな問題記述だったら
ロジックの専門家でもやっちゃうことがあるし、その否定が正しい訳でもないんですが
conservative extentionって書いちゃったら（ZFCが矛盾していない限り）偽ですね。
ネットで手に入りやすい参考資料
・ URLﾘﾝｸ(math.stanford.edu) の特にスライド8あたり（同名の論文あり）
・ URLﾘﾝｸ(arxiv.org) （もっと詳しい）
mathoverflowの
"Set theory for category theory beginners"ってトピックみたら
ShulmanさんとかHamkinsさんとかが普通に答えててﾜﾛﾀ