現代数学の系譜 工学物理雑談 古典ガロア理論も読む77at MATH
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
- 暇つぶし2ch40:se domain has a subset A with no R-minimal element, but this set A is not a "set in the model" (A is not in the domain of the model, even though all of its members are). More precisely, for no such set A there exists x in M such that A = R^-1 [x]. So M satisfies the axiom of regularity (it is "internally" well-founded) but it is not well-founded and the collapse lemma does not apply to it. (引用終り) 以上
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch