[過去ﾛｸﾞ]
集合論について (615ﾚｽ)
集合論について http://rio2016.5ch.net/test/read.cgi/math/1384715117/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
15: Let's Fight！ [SAGE] 2013/11/26(火) 08:38:15.65 無意味な人工物を勝手に問題設定して勝手に解く これが基礎論の現状 そして自称解析学では重要な役割を果たすというが どうでもいい命題ばかりでしか貢献できていない 本質的にゴミなのである http://rio2016.5ch.net/test/read.cgi/math/1384715117/15
130: １３２人目の素数さん [sage] 2014/03/08(土) 20:22:17.65 >>128-129 129 の命題式は恒真なので、(L1)〜(L3) から証明できると思ってました 自分のネタ元は Elliott Mendelson 『Introduction to Mathematical Logic, 5th ed.』 の Exercise 1.58 で "Prove that a wf B of L is provable in L if and only if B is a tautology." とあります http://rio2016.5ch.net/test/read.cgi/math/1384715117/130
240: １３２人目の素数さん [sage] 2014/04/11(金) 10:57:11.65 そのものじゃないでしょ。でもすべてのx∈Xについてf(x)≠φならば、選択関数gが g(x)=τ_y(y∈f(x)) で定義できる。 http://rio2016.5ch.net/test/read.cgi/math/1384715117/240
250: １３２人目の素数さん [sage] 2014/04/14(月) 20:18:07.65 体系に番号や記号もそれぞれ振られているし整理はそれなりにされてると思う。。 ただ一言で様相と言っても我々の言語にはいろいろな種類の様相 （証明可能性、義務、知識、信念、……）があり得るので そういったことに応じていろんな体系があるという感じに理解すると良いと思う。 唯一のthe 必然性がある訳じゃない。 http://rio2016.5ch.net/test/read.cgi/math/1384715117/250
271: １３２人目の素数さん [] 2014/04/27(日) 13:47:36.65 松坂和雄の整列定理から選択公理を導くところだけど、整列集合にする順序関係 があるとしても、そのうちどれを選ぶのかということを指定するルールを明示しない 限り証明になっていない気がするんだけどあれでいいの？ http://rio2016.5ch.net/test/read.cgi/math/1384715117/271
356: １３２人目の素数さん [sage] 2014/05/24(土) 01:54:55.65 訳知り顔でしてないで、とっとと勉強始めたら？>>244=355 http://rio2016.5ch.net/test/read.cgi/math/1384715117/356
375: １３２人目の素数さん [] 2014/05/27(火) 10:46:25.65 >>373 そんなに違わんやろｗ 英語と独語のどっち、くらいの違いだがや 答えてやれよ http://rio2016.5ch.net/test/read.cgi/math/1384715117/375
581: １３２人目の素数さん [] 2017/10/24(火) 15:10:54.65 ID:odSGLAQ0 >>580 置換公理の内容そのままやんけ 「置換公理が無いと置換公理が成り立たないんじゃない？」って、何アホなこと言ってんのよ http://rio2016.5ch.net/test/read.cgi/math/1384715117/581
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.039s*