[過去ログ] 現代数学の系譜11 ガロア理論を読む34 [無断転載禁止]©2ch.net (686レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
253
(10): 現代数学の系譜11 ガロア理論を読む 2017/06/07(水)07:46 ID:qnt5rUPR(5/25) AAS
>>247-248

ID:2m0pPKpwさん、どうも。スレ主です。レスありがとう。朝早いんだね
さて、>>250-251 ご参照

ああ、カキコが途中だったんだね
すまんかった(^^

>>247の選択公理の話は、>>139-140に書いてあるが、不遇な数学科卒さんの正式なレスを待っているんだ
なので、不遇な数学科卒さん以外のレスは、無視させてもらうよ!(^^

数学科卒なら、”数学の命題”として>>139の(命題A)と(命題B)とについての「成立 or 不成立」の表明と、もし成立するというなら、その証明(略証でも可)を示してほしいと
この要求は、ゆずらないよ!!^^

>>248の∞の話は、>>251に書いた通りだが、補足すると
現代数学の標準的な自然数の構成法:「任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する」を繰り返すことによって、”可算無限個の”自然数を構成している
ってことで、「だから、>>223の有限モデルから、一つずつ箱を増やして、”可算無限個の”箱のモデルに到達することは、なんの問題もないってこと」
1-
あと 433 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.016s