[過去ログ] 集合論について (615レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
374: 2014/05/27(火) 00:31:05.98 AAS
>>371
新版は、
・モデル理論などの或る程度の知識を前提としているので
その分self-containedではない
・その代わり旧版よりかなり議論が整理されている。
・旧版出版後に分かって来た事実についてかなりupdateされている。
・演習問題が、旧版では章末に纏められていたけど新版では本文の間に挿入されている
・旧版の演習問題は、訳者が解答集を作成している
375: 2014/05/27(火) 10:46:25.65 AAS
>>373
そんなに違わんやろw
英語と独語のどっち、くらいの違いだがや
答えてやれよ
376: 2014/05/27(火) 11:19:46.06 AAS
オレ的には躊躇なくKunen。Awodeyは時間を無駄にする可能性が大いにある。
377: 2014/08/06(水) 10:27:46.77 AAS
{}
378: 2014/08/07(木) 20:18:01.68 AAS
そんなつまんないことよりも、こっちこっち↓笑える休憩タイム。

【天才霊能者八意先生に関するサイト】

天才霊能者の八意先生は埼玉県八潮市生まれ育ちの21歳です。
悩んだ時にはまず八意先生に相談しましょう。
以下のサイトを読み終わったら、
腹を抱えて大笑いしてしまうことをお約束します。

外部リンク:blog.goo.ne.jp
外部リンク:blog.goo.ne.jp
外部リンク:blog.goo.ne.jp
外部リンク:blog.goo.ne.jp
外部リンク:blog.goo.ne.jp
外部リンク[html]:www.reinou.jp
外部リンク[html]:www.reinou.jp
外部リンク[html]:www.reinou.jp

外部リンク:www.reinou.jp
外部リンク:blog.goo.ne.jp

八意先生が口にしたことは絶対に起こりませんw
でも、人生の悩みなんて、八意先生が指ぱっちんで解決してくれます。

一応、コメントも含めてすべて読んでみてください。
☆コメントの書き込みも大歓迎です。☆
379
(2): 2014/09/11(木) 17:21:24.81 AAS
大平さんの『関数のはなし』を読んでいたら、
その昔、関数とは1対1または多対1の因果関係を指すとはかぎらず、
何価関数なんて言葉もあったそうで、現在の意味での関数は写像と
読んでいたということが書いてありました。

しかし集合論の発展によって、従来のそうした概念は棄てられ、
現在の意味での関数という概念になったということが書いてあります。

詳しいことはその本では触れていません。この経緯について簡単に
解説してくださったり、その点について詳しく書かれている集合論の
著書をご存知でしたら、ぜひとも教えていただきたいです。
380
(1): 2014/09/11(木) 17:22:22.02 AAS
>>379
失礼。大村平らさんね。村を脱字してしまった。
381: 2014/09/11(木) 19:14:28.83 AAS
ディリクレの定義だね(別の教科書で間接的に知ったから詳しくはわからないけど
どうもいろんな数学者ごとの類似の概念がいくつも混在していた時期があったらしい
382: 2014/09/11(木) 21:35:24.64 AAS
>>379
へーッ。昔の関数概念の方が自然で好きだな。
383: 2014/09/11(木) 21:36:59.00 AAS
>>380
大村たいら氏じゃなくて大村ひとし氏だよ。
384
(1): 2014/09/11(木) 22:51:45.89 AAS
>何価関数なんて言葉もあったそうで
いや今でもあるけど……

いまでも数理論理の専門家以外は、(つまり代数や幾何や解析の専門家は)
一意に値が決まることよりも「関数」の代数的な性質が
「自然」で数学的本質をよく表していることの方を重要視する
385
(1): 2014/09/12(金) 01:25:59.99 AAS
代数的な性質?
位相的の間違いではなくて?
386: 2014/09/17(水) 21:13:23.49 AAS
>>385
代数だと、多価関数を考えるよりも、
複数の一価価値どうしの共役性の話に
してしまうような気がする。
解析では、関数は局所で定義されるものだから、
大域で眺めると自然に多価性が出てくる。
387
(2): 2014/09/20(土) 03:45:48.88 AAS
『数学基礎論へのいざない (数学基礎論シリーズ)』を読んでたら、初っぱなから
「p→q はもっとも日常的用法から『剥離』しているように見える」とか出てきてうんざりした。
388: 384 2014/09/20(土) 06:43:47.49 AAS
確かに位相的の方が良さそうですね
じゃあそれで
389: 2014/09/20(土) 12:31:26.36 AAS
>387
「ならば」という言葉を対応付けるのが間違っているのにな。
「pの時はqになる」とか他の言葉を考えないのかね。
(『は』による叙述範囲の限定)
390: 2014/09/20(土) 14:11:54.63 AAS
叙述範囲に入ってない場合はどうなるか、
真偽値不定なのかデフォルトで真なのかという問題じゃないの?
日常言語学派的な語用論的説明が一番分かりやすいと思う

>>387
まあまあ良い本だけど文章は正直上手くないよね
391: 2014/11/11(火) 19:16:07.95 AAS
著者は言語障害か
脳味噌に欠陥があるな
392: 2015/08/27(木) 15:58:58.49 ID:yi4FuQWD(1)調 AAS
集合論って活用できる範囲や事柄は
具体的にどういったところが挙げられますかね?

ちなみ自分は経済哲学の分野で必要で勉強し活用していました。
応用範囲について詳しい方いたら教えてくださいな。
393: 2015/08/27(木) 21:34:32.10 ID:jQ+eKs+3(1)調 AAS
集合なんて数学の全範囲で使ってるだろ
394: 2015/08/27(木) 22:27:20.76 ID:8R0TBFv+(1/2)調 AAS
経済学でいうところの集合論というのは、数学では普通、点集合論とか位相空間論と呼ばれるもののことだと思う
大昔、点集合論は(純粋)集合論の一分野とされていた
どちらにせよ、数学の全範囲で使われるんだけど
395: 2015/08/27(木) 23:59:14.53 ID:8R0TBFv+(2/2)調 AAS
全範囲は言い過ぎか
群論・環論で位相抜きの議論はいくらでもあるし
396: 2015/08/28(金) 01:04:15.97 ID:HEHjdWlX(1)調 AAS
位相空間論かどうか微妙だが
フィルターとかその双対のイデアルは
集合論でも割と使う
397: 2015/09/03(木) 19:15:50.50 ID:RnfB8QmP(1)調 AAS
392ですがありがとうございます!

回答内容もありがたいのですが約一年ぶりの書き込みに
こんなに皆さんレスくれたことに今感動してますw
398
(1): 2015/10/09(金) 21:34:07.84 ID:nnfMbhzM(1)調 AAS
大型書店の数学書を一通り調べても見つからなかったのですが、
集合が自分自身の他に空集合でない極小元xを含む場合も
正則性公理か何かに反することが証明できるんですか?

A{A, x|x≠Φ, x¬∈x}
399
(1): 2015/10/09(金) 22:42:04.63 ID:IFohlWie(1)調 AAS
>>398
> A{A, x|x≠Φ, x¬∈x}
意味不明、特に「x¬∈x」
400: 2015/10/10(土) 01:57:11.77 ID:+l5Dt7F5(1/5)調 AAS
>>399
xは純粋に集合の元でしかなく、それゆえにxは自分自身を元とする単集合{x}として
解釈しようとしてもできない…というつもりです。それを満たすようなxは
現代の数学だと空集合以外扱われていない印象を受けましたが、
それは単にあまり研究されていないだけなのか、
それともA{A}という単集合の場合と同様に
∀A(A≠Φ→∃x∈A∀t∈A(t¬∈x)) から
厳密に矛盾が導かれるのかということを疑問に思いまして…
401: 2015/10/10(土) 02:03:42.09 ID:in07sVnf(1/2)調 AAS
集合の正式な表記法を使わない限り、意図は伝わらないと思うぞ
402: 成清 愼 2015/10/10(土) 02:31:00.18 ID:ATwRtTkk(1)調 AAS
集合は素人なんで、是非、ここがおかしい!タコ!とかご指摘下さい。
外部リンク[htm]:koubeichizoku.doujin.so
403
(1): 2015/10/10(土) 07:28:36.07 ID:hcdGIEYa(1/2)調 AAS
まず、a∈bの否定は¬(a∈b)であって、
a¬∈bと書いてる数学書なんか
この世に一冊も無いと思うんだけど。

A{A}も意味不明。A∈{A}とかA={A}なら意味分かるけど。

人に何か聞くときは自分で考案した表記法使っても理解されない、
というのは素人とか玄人とか関係ないと思うけど。
404: 2015/10/10(土) 08:16:49.29 ID:LqMeNCyW(1)調 AAS
定義をきちんとしたあとで、一歩一歩進んでいくと論旨も追いやすいね。
定義は自由だけど、業界の慣習にある程度は従うことも大切。
405: 2015/10/10(土) 11:25:33.82 ID:gA3SuCRV(1)調 AAS
数学書を調べたってのが信じられんな
406: 2015/10/10(土) 12:17:28.19 ID:+l5Dt7F5(2/5)調 AAS
>>403
すみません、¬(a∈b)とA={A}という意味です。
何しろド文系なもので、少しでも学んでいければと思います。
407: 2015/10/10(土) 12:41:22.16 ID:5vry4+fh(1/3)調 AAS
> A{A, x|x≠Φ, x¬∈x}

「A, x」ってのは何?
408
(2): 2015/10/10(土) 13:23:36.57 ID:+l5Dt7F5(3/5)調 AAS
元としてA自身と、空集合でない極小元xの二つがあるということです。
書き直すと A={A(A∈A), x(x≠Φ∧¬(x∈x))} の方がまだいいでしょうか?
409: 2015/10/10(土) 13:55:00.69 ID:XHmWOSP1(1/3)調 AAS
外延性公理が成立して無いように見える
410: 2015/10/10(土) 14:39:07.95 ID:5vry4+fh(2/3)調 AAS
>>408
なら A={A} ∪ {x|x≠Φ∧x∉x) って書けよ。

って無理だろこれ。
411
(2): 2015/10/10(土) 16:33:35.17 ID:+l5Dt7F5(4/5)調 AAS
なるほど、確かに和集合になりますね。しかしそれでも定義から
{A}={{A}∪{x}}={A、x}
となって、いくら分解してもAにxが含まれているため
外延性公理も正則性公理も成立してしまうように見えて悩んでます。
412: 2015/10/10(土) 16:42:27.21 ID:XHmWOSP1(2/3)調 AAS
素朴集合論以上に素朴だな
413: 2015/10/10(土) 16:43:33.09 ID:in07sVnf(2/2)調 AAS
君は集合論の公理なんて気にする前に、まず集合というものを直観的に把握することを目標にすべき
めちゃくちゃだ
414: 2015/10/10(土) 16:51:25.80 ID:5vry4+fh(3/3)調 AAS
プロパークラスを素で突っ込んでくるあたり、数学書を何も読んでないらしい。
415
(2): 2015/10/10(土) 19:16:17.61 ID:+l5Dt7F5(5/5)調 AAS
愚問だからこそ、こんなこと書いてる数学書なんてこの世に一冊もないのでしょうね。
だからこそできる人に聞かなければ独学じゃ一生判断できないわけですし。
結論としてはこのような構成もやはり集合ではなく、真のクラスに分類されるのですか?
416: 2015/10/10(土) 19:31:36.76 ID:XHmWOSP1(3/3)調 AAS
素朴を大袈裟に魅せる数学書はなかなか無いだろうな
需要はあるかも
417: 2015/10/10(土) 20:17:30.91 ID:MJa+RpX7(1/2)調 AAS
>>415
「このような」がはっきりしないから答えられない。
418
(1): 2015/10/10(土) 21:04:28.98 ID:hcdGIEYa(2/2)調 AAS
>>408
「極小」というのはあくまで〜〜の中で極小、
というように範囲を定めた上で初めて意味を持つ概念なので
xがどの範囲で極小と言っているのか分からない。

x≠φ∧¬(x∈x)は、「xが〜〜の中で極小」ということを表現していないけど。

たぶん正則性公理に出てくる「極小」という言葉の意味を
間違えているんじゃないかな。
これは∈を前順序とみたときの極小元のことを言っている。

ちなみにja.wikipedia.orgの正則性公理の記事は間違っている。

というわけで>>411は何を言っているか良く分からない。

基本的に、書店で立ち読みしたりネットでググったりしただけで
きちんとした知識が身に付くと思わない方が良いよ。
419: 2015/10/10(土) 21:16:34.69 ID:MJa+RpX7(2/2)調 AAS
>>415
独学しなけりゃいいじゃん。
420: 2015/10/11(日) 10:27:22.84 ID:IMiaN9S+(1/4)調 AAS
>>418
ウィキペディアのあの記事は不正確なんですね。危なかった。
では空集合以外の極小元はどう範囲を定めようとしても
∈が前順序とされる条件に抵触するのですか?
421: 2015/10/11(日) 12:09:33.03 ID:NgdA1rqz(1)調 AAS
だから、どの範囲での極小元の事を言ってるんだよ。
∈が前順序となることに矛盾するなんて言ってないよ。

良いからきちんとした教科書を読みなよ。
422
(1): 2015/10/11(日) 12:47:20.17 ID:fn9rql3+(1)調 AAS
「トンデモは数式に全角文字を使いたがる」というが、コイツはまさに当てはまってるな。
正確に言うと「トンデモは全角・半角の使い分けに拘りが無い」といったところか。

>>411
>{A}={{A}∪{x}}={A、x}

2つ目の等号は成り立たないよ。{ A }∪{ x }={ A, x } だから

{ { A }∪{ x } } = { { A, x } }

にしかならない。まさかこいつ、{ } の中の { } は省略可能だと思ってるのか?
こいつにとっては { { } } も空集合であり、{ { } } = { } なのか?
423: 2015/10/11(日) 13:00:33.09 ID:xY9v7uyz(1)調 AAS
{A} = {A, x} ならば、A = x だな。
424
(1): 2015/10/11(日) 16:50:21.91 ID:IMiaN9S+(2/4)調 AAS
>>422
全角は単に自分が見やすいからですが、半角の方が適切ならそちらに合わせます。

つまり{{A, x}}の中に要素の要素としてxが入っているとしても
この階層のレベル(?)ではあくまで{A}の単集合とみなされ、
正則性公理でいう極小元xが入っている状態には当てはまらないということでしょうか?
425: 2015/10/11(日) 17:21:30.13 ID:xAr9yp65(1)調 AAS
>>424
ますます意味がわからない。

あなたの知ってる極小元の定義を書いてみて。
426
(1): 2015/10/11(日) 18:31:21.50 ID:IMiaN9S+(3/4)調 AAS
xは集合Aの元であり、空集合でなく、Aの部分集合tに含まれても
逆にtを含むことはない…といったところです。
427: 2015/10/11(日) 18:39:10.15 ID:IMiaN9S+(4/4)調 AAS
>>426
訂正 x≠Φは私の思いつきの部分で、一般的には極小元=Φですよね。
428: 2015/10/12(月) 15:35:36.76 ID:WN0eQD9H(1)調 AAS
A={A}
これを認めちゃうと
A-A=0
{A}-A=0
外延性公理が成立しないように見える
429: 2015/10/12(月) 15:46:55.08 ID:3wnebymM(1)調 AAS
A={A}は正則性公理(基礎の公理、axiom of foundation)に反するから
ダメなだけで外延性公理とは矛盾しないよ。
そういう集合が実際に存在するAFAという体系もあって、
外延性は成立している。
430: 2015/10/13(火) 18:19:23.16 ID:oETGa/I7(1)調 AAS
shelahの動画初めて見た
動画リンク[YouTube]

431: 2015/10/13(火) 18:33:48.41 ID:z/f9Hfmm(1)調 AAS
いろいろ問題はあるけど、あの創価学会だってテロは起こさない(と思っているが…)。

もし、所謂「イスラム国」が壊滅させられるか、テロをやめない限り、
イスラム教を否定する方向に舵を切らざるをえない。

現状で、もしシリア難民を大量に受け入れたら、必ずテロリストは混ざってくるだろう。
現在でも、まだまだ単なるスパイですら、バカサヨのおかげでまともに取り締まれない。
テロリストが居ても奇異に感じられないほど、イスラム教徒の数がふえたら、
新幹線、原発施設、あらゆる公共施設が容易に標的にされる可能性がある。

宗教の自由を尊重したいのはやまやまだし、
日本人のムスリムの活動を否定する気もしないけれど、
憲法九条でテロが防げるわけでもなし。
あまりかんばしくないけれど、テロリストはしっかり排除できるような体制になるまで、
シリア難民の大量受け入れには反対だ。
432: 2015/12/18(金) 10:19:30.25 ID:cingKdUw(1)調 AAS
 酢ーーーーーーーーーーーー
 酢酢酢酢酢ーーーーーーーーー
 酢っ酢っ酢酢酢酢はぁとーーーー♪
433: 2016/01/13(水) 02:42:22.81 ID:AjZnvAeI(1)調 AAS
酢くさはあと
434: 酢酸 2016/01/16(土) 02:22:43.04 ID:fpLJI1uC(1)調 AAS
なんか、すさんでるね。
435: 2016/11/16(水) 20:11:13.00 ID:WO3gO/uI(1)調 AAS
真理を発見しました (哲学系)
外部リンク:p.booklog.jp

無料の電子書籍です!
436: 2017/03/10(金) 00:08:45.09 ID:q/sOfII+(1)調 AAS
而平时有着缝隙偷窥癖好的他因偷看邻座女生文绪而渐渐喜欢上了她。
3905电影网讯 改编自《白兔糖》作者宇仁田由美的同名漫画《偷窥》近日正式曝光首款预告片和海报,
预告中男主町田启太和女主佐佐木心音略微情色又青春搞笑的场景大肆公开福島,给人一种纯情般的畅快感。
人生的青春幽默物语。而实际上,文绪其实也从缝隙中观察的平作。
平日喜欢偷窥的平作喜欢从窗帘偷看观察隔壁家文绪的生活画像,而因一件小事二人成为了朋友,
但一直过着单相思的生活。在NHK电视剧小说《花子与安妮》中担任男主的町田在该片中出演一位青春荷尔蒙冲动型的大学生平作,
《偷窥》由《女阴》、《谎言的诱惑》的导演吉田孝太掌镜同时担任编剧,描绘了一出奔走于恋爱、情色、
”同时对于原著吉田也说:“福井宇仁田由美老师的作品最重要的主题就是‘平等的个性’,
吉田导演称:“只有町田表现出了笨笨的平作的样子,而佐佐木自身就有着如太阳一般的魅力,将文绪自由奔放的个性展露无疑。
除此以外,中村映里子、八木将康和久住翠希等年轻演员一并共演。
所以这次我通过银幕将平作喜欢偷窥的癖好和文绪喜欢偷拍的趣味都一并展现出来,期待大家去观看。
437
(1): 2017/05/11(木) 10:30:26.25 ID:OnYg4SYI(1)調 AAS
基幹講座 数学 集合・論理と位相
という本は演習問題がありますか。また、あるとしたら解答が付いていますか。
438: ◆2VB8wsVUoo 2017/05/11(木) 17:13:26.99 ID:CRQs9fzc(1/10)調 AAS

439: ◆2VB8wsVUoo 2017/05/11(木) 17:13:49.62 ID:CRQs9fzc(2/10)調 AAS

440: ◆2VB8wsVUoo 2017/05/11(木) 17:14:08.89 ID:CRQs9fzc(3/10)調 AAS

441: ◆2VB8wsVUoo 2017/05/11(木) 17:14:30.20 ID:CRQs9fzc(4/10)調 AAS

442: ◆2VB8wsVUoo 2017/05/11(木) 17:14:53.49 ID:CRQs9fzc(5/10)調 AAS

443: ◆2VB8wsVUoo 2017/05/11(木) 17:15:15.68 ID:CRQs9fzc(6/10)調 AAS

444: ◆2VB8wsVUoo 2017/05/11(木) 17:15:38.89 ID:CRQs9fzc(7/10)調 AAS

445: ◆2VB8wsVUoo 2017/05/11(木) 17:16:09.21 ID:CRQs9fzc(8/10)調 AAS

446: ◆2VB8wsVUoo 2017/05/11(木) 17:16:31.73 ID:CRQs9fzc(9/10)調 AAS

447: ◆2VB8wsVUoo 2017/05/11(木) 17:17:03.19 ID:CRQs9fzc(10/10)調 AAS

448: 2017/05/16(火) 02:59:44.67 ID:CgXtkXk8(1)調 AAS
集合論の本には稀に atom あるいは urelement を含めるものがありますが、
記述が煩雑になるだけで、全く利点を見出せません
しかも実際には本文中に atom はほとんど登場しないという始末
これは一体何がしたいのでしょうか
449: ◆2VB8wsVUoo 2017/05/16(火) 09:38:46.48 ID:gCXIlyDM(1/30)調 AAS

450: ◆2VB8wsVUoo 2017/05/16(火) 09:39:04.72 ID:gCXIlyDM(2/30)調 AAS

451: ◆2VB8wsVUoo 2017/05/16(火) 09:39:25.61 ID:gCXIlyDM(3/30)調 AAS

452: ◆2VB8wsVUoo 2017/05/16(火) 09:39:46.85 ID:gCXIlyDM(4/30)調 AAS

453: ◆2VB8wsVUoo 2017/05/16(火) 09:40:07.29 ID:gCXIlyDM(5/30)調 AAS

454: ◆2VB8wsVUoo 2017/05/16(火) 09:40:29.62 ID:gCXIlyDM(6/30)調 AAS

455: ◆2VB8wsVUoo 2017/05/16(火) 09:40:49.92 ID:gCXIlyDM(7/30)調 AAS

456: ◆2VB8wsVUoo 2017/05/16(火) 09:41:10.59 ID:gCXIlyDM(8/30)調 AAS

457: ◆2VB8wsVUoo 2017/05/16(火) 09:41:31.25 ID:gCXIlyDM(9/30)調 AAS

458: ◆2VB8wsVUoo 2017/05/16(火) 09:42:12.27 ID:gCXIlyDM(10/30)調 AAS

459
(1): 2017/05/16(火) 12:25:45.92 ID:GHzBK8D0(1)調 AAS
>>437
ありますよ。解答も付いてます。
この本は定義域が空集合の写像についても言及していて、連続する量化記号に一節使っていて、素朴集合論のみですが、説明も注意も細かくて、そこはさすが基礎論の専門家だと思った。
460: ◆2VB8wsVUoo 2017/05/16(火) 14:03:12.00 ID:gCXIlyDM(11/30)調 AAS

461: ◆2VB8wsVUoo 2017/05/16(火) 14:03:30.80 ID:gCXIlyDM(12/30)調 AAS

462: ◆2VB8wsVUoo 2017/05/16(火) 14:03:51.37 ID:gCXIlyDM(13/30)調 AAS

463: ◆2VB8wsVUoo 2017/05/16(火) 14:04:11.32 ID:gCXIlyDM(14/30)調 AAS

464: ◆2VB8wsVUoo 2017/05/16(火) 14:04:32.70 ID:gCXIlyDM(15/30)調 AAS

465: ◆2VB8wsVUoo 2017/05/16(火) 14:04:52.31 ID:gCXIlyDM(16/30)調 AAS

466: ◆2VB8wsVUoo 2017/05/16(火) 14:05:12.54 ID:gCXIlyDM(17/30)調 AAS

467: ◆2VB8wsVUoo 2017/05/16(火) 14:05:33.25 ID:gCXIlyDM(18/30)調 AAS

468: ◆2VB8wsVUoo 2017/05/16(火) 14:05:53.03 ID:gCXIlyDM(19/30)調 AAS

469: ◆2VB8wsVUoo 2017/05/16(火) 14:06:14.85 ID:gCXIlyDM(20/30)調 AAS

470: 2017/05/16(火) 14:21:16.33 ID:7NIv6Rck(1)調 AAS
>>459
ありがとうございます。
471: ◆2VB8wsVUoo 2017/05/16(火) 16:35:21.87 ID:gCXIlyDM(21/30)調 AAS

472: ◆2VB8wsVUoo 2017/05/16(火) 16:35:42.18 ID:gCXIlyDM(22/30)調 AAS

473: ◆2VB8wsVUoo 2017/05/16(火) 16:36:02.47 ID:gCXIlyDM(23/30)調 AAS

474: ◆2VB8wsVUoo 2017/05/16(火) 16:36:23.06 ID:gCXIlyDM(24/30)調 AAS

475: ◆2VB8wsVUoo 2017/05/16(火) 16:36:44.40 ID:gCXIlyDM(25/30)調 AAS

476: ◆2VB8wsVUoo 2017/05/16(火) 16:37:06.78 ID:gCXIlyDM(26/30)調 AAS

477: ◆2VB8wsVUoo 2017/05/16(火) 16:37:26.63 ID:gCXIlyDM(27/30)調 AAS

478: ◆2VB8wsVUoo 2017/05/16(火) 16:37:47.80 ID:gCXIlyDM(28/30)調 AAS

479: ◆2VB8wsVUoo 2017/05/16(火) 16:38:06.98 ID:gCXIlyDM(29/30)調 AAS

480: ◆2VB8wsVUoo 2017/05/16(火) 16:38:28.57 ID:gCXIlyDM(30/30)調 AAS

481
(2): 2017/06/01(木) 00:19:42.50 ID:bvIWK4JR(1)調 AAS
置換公理って集合論やそれに近い分野以外で必要になる場面はありますか?
482: 2017/06/01(木) 17:55:43.28 ID:hRrDF6dS(1)調 AAS
素朴集合論を理解したら、公理的集合論も余裕?
483
(1): 2017/06/02(金) 13:22:20.83 ID:sjkTKfZz(1)調 AAS
>>481
数学の本を読んだ事ねーのか
484
(3): 2017/06/02(金) 13:34:14.63 ID:Nx0e+K/h(1)調 AAS
>>483
何をおっしゃりたいのか分かりません
数学の本を読んできた結果、数学の基礎として(分出公理では足りず)置換公理も必要なのか疑問を抱いたのですが
485: 2017/06/03(土) 16:56:47.06 ID:RTi6aQi3(1)調 AAS
痴漢公理@徳島
486: ◆2VB8wsVUoo 2017/06/04(日) 10:18:12.11 ID:+ujylFoS(1/3)調 AAS
痴漢行為@阿南


487
(1): 2017/06/04(日) 12:30:23.93 ID:tSWE4353(1)調 AAS
>>484
置換公理を使ってる本も読め
488: ◆2VB8wsVUoo 2017/06/04(日) 12:41:23.30 ID:+ujylFoS(2/3)調 AAS
痴漢行為を行ってる奴も叩け


489: 2017/06/04(日) 12:53:00.60 ID:d9CvwYz4(1)調 AAS
>>487
著者とタイトル教えて
490: ◆2VB8wsVUoo 2017/06/04(日) 13:15:58.21 ID:+ujylFoS(3/3)調 AAS
犯人とベンゴシ教えて


491: 2017/06/04(日) 16:26:57.90 ID:P6ISpByY(1)調 AAS
>>484
ブルーバックスから出ている竹内外史の集合論の本(題名:集合とはなにか)に、
置換公理がないと集合がω+ω程度しか必要なくなって貧弱になるというような
ことが書いていたような。
492: ◆2VB8wsVUoo 2017/06/05(月) 03:55:37.67 ID:zhDHDNnu(1/21)調 AAS

493: ◆2VB8wsVUoo 2017/06/05(月) 03:55:55.13 ID:zhDHDNnu(2/21)調 AAS

494: ◆2VB8wsVUoo 2017/06/05(月) 03:56:15.02 ID:zhDHDNnu(3/21)調 AAS

495: ◆2VB8wsVUoo 2017/06/05(月) 03:56:34.01 ID:zhDHDNnu(4/21)調 AAS

496: ◆2VB8wsVUoo 2017/06/05(月) 03:56:50.42 ID:zhDHDNnu(5/21)調 AAS

497: ◆2VB8wsVUoo 2017/06/05(月) 03:57:05.80 ID:zhDHDNnu(6/21)調 AAS

498: ◆2VB8wsVUoo 2017/06/05(月) 03:57:24.69 ID:zhDHDNnu(7/21)調 AAS

499: ◆2VB8wsVUoo 2017/06/05(月) 03:57:52.68 ID:zhDHDNnu(8/21)調 AAS

500: ◆2VB8wsVUoo 2017/06/05(月) 03:58:09.59 ID:zhDHDNnu(9/21)調 AAS

1-
あと 115 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 0.026s