ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

集合論について

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>316 > >>314 > L-S-下降定理: > 　言語 L 上の理論 T の任意のモデル M は > 　濃度κ = max(|L|, ω)の初等部分構造 N ＜ M を持つ。 > 　（とくにNとMは全ての閉論理式の真偽が同じになる。） > > ZFの言語は可算だからκはアレフ0になる。 > > だから>>248の最初の文は > 「ZFの任意のモデルをM'とし、その可算な初等部分構造を M とします。」 > とすれば、最後の部分も > 「したがって M 内でACは真、したがって M' 内でACは真、したがって、完全性定理より」 > とすれば通用する。 > まあその間の部分に間違いがあるから結局ダメなんだけど。
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.081s*