[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
7(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)10:22:15.99 ID:JrhjRl4x(7/46) AAS
>>6
つづき
まず、タイポ訂正
そして、無限上昇列が出来たら、それを逆に辿る、無限下降列でしょ
↓
そして、無限上昇列が出来たら、それを逆に辿ると、無限下降列でしょ
分かると思うが（＾＾
省19
135(1): 第六天魔王 ◆y7fKJ8VsjM 2019/10/06(日)10:00:16.99 ID:zyaquwkF(9/9) AAS
>>130-131
余の小者として仕えるがよい
綽名は「ハゲネズミ」な
（秀吉かよｗ）
256(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/11(金)07:03:26.99 ID:aKfhohl9(3/4) AAS
>>252
(引用開始)
歴史
以下の記述は主に Dawson (1993) に基づいている。
モデル理論の初期の歴史を理解するには、統語論的整合性（一階論理の推論規則を使って導かれるものには矛盾がないこと）と充足可能性（satisfiability、モデルがあること）を区別しなければならない。
いくぶんか驚くべきことに、ゲーデルの完全性定理がこの区別を不要とする以前でさえも、整合性 (consistency) という用語は場合によって違う意味で使われていた。
(引用終り)
省12
302(2): 2019/10/12(土)17:14:50.99 ID:Vy+smElV(2/8) AAS
>>301
当面正則性の公理なんて関係ありません。
主張しようとしてるのは
>>275の主張
{n | ∃xn‥∈ x3∈ x2∈x1, Ω=x1}
には最大値が存在する。
です。
省6
355: ID:1lEWVa2s 2019/10/13(日)18:13:18.99 ID:BCKVKYa1(13/31) AAS
>>353
新聞読んで代格者のトランプ大統領がこの世をどうやったら守れるか
内緒にしている裏の仕組みを新聞に書いてある程度の即ち新聞だけでトランプ大統領と安倍の仕事を追って研究しなはれ
401: Mara Papiyas ◆y7fKJ8VsjM 2019/10/13(日)20:08:16.99 ID:2pwdGOo0(19/24) AAS
ドグマチールは、一時期、睡眠薬（マイスリー）のせいで
体調が悪かったときに処方されて飲んでたな
いまは睡眠薬もドグマチールも飲んでないけど
425(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/14(月)10:53:47.99 ID:w6tqRMw5(8/8) AAS
じゃｗ（＾＾
448: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/21(月)22:24:07.99 ID:P3acsak1(2/2) AAS
”The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo?Fraenkel set theory; in particular it would imply the existence of strongly inaccessible cardinals. ”
なので、”beyond the usual axioms of Zermelo?Fraenkel set theory”で、ZFを含んでいるでしょ（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
グロタンディーク宇宙
外部ﾘﾝｸ:en.wikipedia.org
Grothendieck universe
(抜粋)
省1
717(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/13(金)11:00:57.99 ID:SYYzk3gC(2/4) AAS
>>716 抜けたので追加
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
(引用終り)
738: 2019/12/14(土)14:58:08.99 ID:4Uy77aKd(1/2) AAS
>>729
>順序数ωを簡便に表現すれば、例えば {{…}} ってことです
{{…}} が正則性公理に反することすら理解できないアホに数学は無理
757: 2019/12/15(日)00:50:47.99 ID:WYNNIsFE(1/12) AAS
∩∩ ∧ ∧
(・×・) (×∀×)
(∋○∈)◌ (⊃⊂)
839: 2019/12/17(火)06:10:54.99 ID:LQIUz6rO(9/12) AAS
馬鹿に数学は無理
883(1): Ｑ 2019/12/18(水)23:50:48.99 ID:1Iara4Wc(10/10) AAS
'`,､('∀`) '`,､( ´∀`)'`,､('∀`) '`,､お休ミレニアム〜♪♪♪
919: 2019/12/20(金)08:07:34.99 ID:pVRKr0X7(5/7) AAS
泣くな、ｻﾙﾙ。。。
恥ずかしくなんか、ないよ♪
誰だって壁にぶつかることがある。。。
∬
⊃☕🍩»
￣￣￣￣￣ﾎｨｯ!
これ食って、またガンガレ！
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s