[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
248(4): 2014/04/14(月)07:56 AAS
>>237
根拠となったのは、以下の主張です。
ZF の任意の可算モデルを M とします。以下、ZF の論理式A(x_1, ... , x_n)
は M に変数を持つものとして解釈します。M は可算だから、整列可能。従って、
任意の論理式 A(y, x_1, ... , x_n) と M の元の列 a_1, ... , a_n に対し、
A(y, a_1, ... , a_n) なる y∈M が存在すれば、そのような y の最小限を
f(a_1, ... , a_n) とおき、A(y, a_1, ... , a_n) なる y∈M が存在しなければ、
M の最小元を f(a_1, ... , a_n) とおきます。
こうすることによって、M 上の論理式には全てスコーレム関数が定義できるわけで、
M は ZFC のモデルとなります。
省2
251: 2014/04/14(月)21:07 AAS
>>248
ACを証明するのにACを使ってしまった、ということでしょ？
ここに書かれたことは、あなたにとってACは、それ自身他の論証の根拠として
つい使ってしまうほど自明のことであったということではないの？あなたが
ACを導いた根拠なのではないよね？
311(3): 2014/05/02(金)21:32 AAS
＞ACを一見しただけで、ZFからはそれ
＞（あるいはその否定）が出てくるはずはないと察知できるよね？
じゃあ例えば>>248や
2chｽﾚ:math の疑問にすぐに答えられる？
ここは集合論を勉強する上で初学者がかなり引っ掛かりやすいポイントで、
でも個人的にはかなり微妙で面白い部分だと思う。
実際にそういう察知が出来てればカントルはあんなに苦労してなかったはずだし、
（カントルやツェルメロの時代の数学者は>>>302に比べてバカばかりだったとでも言わない限り）
ツェルメロの公理系の選択公理に対する否定的反応も起こらなかったはず。
それにヒルベルトの23問題の第1問題は連続体仮説だけど、彼や当時のその他大勢の数学者は
省12
312: 2014/05/06(火)08:17 AAS
>>248
>ZF の任意の可算モデルを M とします。...
>従って、M 内で AC は真。したがって、完全性定理より、ZF から AC は証明可能。
ここは単に、Mが「任意のモデル」でないので完全性定理を適用できないだけではないの？
316(1): 2014/05/06(火)21:42 AAS
>>314
L-S-下降定理:
言語 L 上の理論 T の任意のモデル M は
濃度κ = max(|L|, ω)の初等部分構造 N ＜ M を持つ。
（とくにNとMは全ての閉論理式の真偽が同じになる。）
ZFの言語は可算だからκはアレフ0になる。
だから>>248の最初の文は
「ZFの任意のモデルをM'とし、その可算な初等部分構造を M とします。」
とすれば、最後の部分も
「したがって M 内でACは真、したがって M' 内でACは真、したがって、完全性定理より」
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.994s*