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

>>598
>>ZFC+宇宙公理から存在証明可能な任意のグロタン宇宙はZFCのモデルであり正則性公理を充足、すなわち整礎集合であるからその全体であるノイマン宇宙Vの元。
>半可通だな
それが君。
私の主張に反論するなら反例（ZFC+宇宙公理から存在証明可能かつZFCのモデルではないグロタン宇宙）を示してください。捨て台詞は反論とは呼べませんよ。

>　>>588 "V*：(素の)フォン・ノイマン宇宙 V （到達不能基数は考えない）"
>と書いた
で？　いつになったら「素のノイマン宇宙」なるものの定義を示してくれるの？

>下記を百回音読してね
君、回答に困ると必ずそれ言うね
何回音読しても君の妄想「素のノイマン宇宙」の定義なんてどこにも書いてないから君に示してと言ってるんだけど日本語分からない？　じゃあ小学校からやり直して

>つまり、下記で『κ が到達不能基数ならば、VκはZFCのモデルである』ね
で？　誰も否定してないけど？

>ところで 単にVと書いたとときと 到達不能基数添え字つけた Vκとの違い
>ここ 意識しているかい？
異なるものが異なることを意識しない人なんているの？

>繰返す 下記を百回音読してね（＾＾
繰返す 何回音読しても君の妄想「素のノイマン宇宙」の定義なんてどこにも書いてない

>>613
>私の主張に反論するなら反例（ZFC+宇宙公理から存在証明可能かつZFCのモデルではないグロタン宇宙）を示してください。捨て台詞は反論とは呼べませんよ。
ちょっと修正。
ZFC+宇宙公理から存在証明可能な{}とVωはZFCのモデルではないけどグロタン宇宙かつVの元。
ZFC+宇宙公理と書いたのはZFCから存在証明できるものは除く意図。

>>600
>百回音読して
君、今回もまた読んでもちんぷんかんぷんだったんだね。だから自分の言葉で説明できずこちら側に読むことを強要するんだね。
でも君の妄想を裏付ける何ものも書かれてないから何回読んでも無駄だよ。

>>601
>>フォン・ノイマン宇宙 V＋強到達不能基数κ は可能
>V+κって何？　意味不明で主張になってない。
>>しかし、L＋強到達不能基数κ は原理上不可
>L+κって何？　意味不明で主張になってない。
>なんども説明するほど暇ではないｗ ｗ （＾＾
君、V+κ、L+κなるものを一度も説明してないんだけど
なんで既に何度か説明したことにしちゃってるの？
嘘はやめようね　人として最低限のマナーは守ろう

それで「素のノイマン宇宙」なるものの定義はいつ出てくるの？

>dy/dx
>を見たとき、
>「dyをdxで割ったもの」
>として暗記すると、かなり苦しくなります。
超準解析ならdx,dyそれぞれが無限小だとしても
>「dyをdxで割ったもの」
が成立しますけどね。但し超準解析の結果を実数の世界に引き戻すには無限小を切り捨てる必要がある。

超準解析の背景にある理論を全く理解せずに「無限小があああ」とか言ってる人もいますけどね。

>>590
>U:∀α,∃β>α,∀γ<β,p(γ)<β
この定義だと正則性を満たせてないですね。到達不能基数は正則基数です。

どうもすみません
正則基数
cf(α)=α
を論理式で書くと
∀β<α,∀f:β→α,∃γ<α,∀δ<β:f(δ)<γ
でしょうか

宇宙公理を到達不能基数の存在として書くと
U::∀α,∃κ>α,∀β<κ:p(β)<κ∧∀f:β→κ,∃γ<κ,∀δ<β:f(δ)<γ
となるんですかね

なんかもう全然数学じゃなくなってる

αは正則基数 ⇔ α=min{β∈ON|∃(f:β→α):(∀γ∈α.∃x∈f(β):(x>γ))}
補足：最小元は必ず存在。なぜなら順序数全体のクラスONが∈に関して整列クラスだから。

Fejér-Rogosinski theorem for the Neil algebra
Nilanjan Das, Jaydeb Sarkar