スレタイ箱入り無数目を語る部屋34(あほ二人の”アナグマの姿焼き"Part8ｗ)

>>712
俺は堕ちるどころか、これからルベーグスレを育てるんだよ。
育てる段階でトラブルはつきものさ。
大切なものは大事に根気よく育てるのよ。

>>694
>・フォン・ノイマン宇宙の完全性は、多分 下記ゲーデルの完全性定理の意味だろう
君、ゲーデルの完全性定理の意味知ってるの？　また連想ゲーム？　意味が通らない。

>・順序数の完全性は、想像だが カントールの順序数を その公理系からすべて導出可能ということだろう
トンチンカン。意味が通らない。

>・超限帰納法の完全性も、超限帰納法を使って 必要な定理が すべて導出可能ということだろう
トンチンカン。意味が通らない。

>なお、ゲーデルの不完全性定理の「完全」と、完全性定理の「完全」とは、意味が微妙に異なるとよく注意されることを指摘しておく
微妙じゃなくぜんぜん違う。ごまかそうとしても無駄。
完全性定理の完全性とは、任意の理論の任意のモデルで充足される文は証明可能であること、つまり論理の推論系の完全性（が十分であること）を言っている。
不完全性定理の完全性とは、初等数論を含む無矛盾な理論から証明も反証も不可能な文Gが存在すること、つまり理論の完全性（が不十分であること）を言っている。完全性定理と合わせて考えるとその理論のモデルにはGを充足するものとそうでないものいずれもが存在することになる。

>完全性定理の完全性とは、任意の理論の任意のモデルで充足される文は証明可能であること、つまり論理の推論系の完全性（が十分であること）を言っている。
完全性定理として紹介されることが多い定理「一階述語論理は完全である」は、実はより本質的な定理「無矛盾な理論はモデルを持つ。」の系。

>実はより本質的な定理「無矛盾な理論はモデルを持つ。」の系。
この定理の証明にリンデンバウムの補助定理が用いられる
https://scrapbox.io/mrsekut-p/%E3%83%AA%E3%83%B3%E3%83%87%E3%83%B3%E3%83%90%E3%82%A6%E3%83%A0%E3%81%AE%E8%A3%9C%E5%8A%A9%E5%AE%9A%E7%90%86

リンデンバウムの補助定理はBPI（ブール代数における素イデアルの存在定理）や超フィルタ補題と同値。

>>706
>それは些末な話だ
自分の間違いは些末であることにしちゃうんだねｗ

基数は順序数。任意の順序数が自分未満の順序数すべてを持つことは定義から自明。自明な話を自慢げに延々と語るのはよいが、だから何だと言いたいの？　そこが肝心なのに君のレスにはそれがすっぽり抜け落ちている。

>到達不能基数κは 対応する無限集合の存在と捉えることができて そこには 通常のZFC内の全基数と順序数を含む
対応する集合とは具体的には何？
ZFC内の基数と順序数ってなに？　「ZFC内の」ってどういう意味？

>グロタンディーク宇宙Uを 到達不能基数を含む集合論中にどう命名し定義するか？
>それは 名前だけの問題であって それは成書に従えば良い
>独自に定義したければ それでも良い（受け入れられるかどうかは知らずｗ）
はぁ？　君、何も分かってないんだね　口閉じれば？

>>707
また無駄コピペか　懲りないね