Inter-universal geometry と ABC予想 (応援スレ) 73 (698ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
213(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/01(金)20:51 ID:3GStjv9j(5/5)
>>210 補足
(引用開始)
https://fr.wikipedia.org/wiki/Axiomes_de_Peano
Axiomes de Peano
(google仏語訳)
ペアノの公理
存在と唯一性
集合N は、 0 が属し、かつ後続集合に関して閉じているすべての集合の共通集合である。
(引用終り)
『集合N は、 0 が属し、かつ後続集合に関して閉じているすべての集合の共通集合』
つまりは、無限集合N は、無限集合の中で最小の集合だ
だが、これは結論としてそうであって、我々はそれを結果として知っている
この結果は、カントールが素朴集合論で得ている
いまやろうとしていることは
この結論の ”・・後続集合に関して閉じているすべての集合の共通集合”
”無限集合の中で最小の集合N”
を 公理的集合論のルールの中で きちんと 疑義なく 集合Nを組み立てること
そのためには、ロジックは簡素な方が良い
また、使う公理は はっきりと明示されるべき
無限公理から 分出公理で 最小の集合Nが取り出せるならば
記号∩を使うなど 余計なことをする必要がない
まして、記号∩を使ったときには
記号∩の意味や集合Nの定義を、きちんと集合公理を使って 明示的に示す必要がある
（それが出来ないならば 記号∩を使うのは ”ま ず い”！！ｗｗ ；ｐ）
214: １３２人目の素数さん [] 08/01(金)21:09 ID:n2NtHms/(15/17)
>>213
>記号∩を使うなど 余計なことをする必要がない
「余計なこと」は言いがかり。
>まして、記号∩を使ったときには
>記号∩の意味
まったく明確。オチコボレが理解できないだけのこと。
>や集合Nの定義を、
まったく明確。オチコボレが理解できないだけのこと。
>きちんと集合公理を使って 明示的に示す必要がある
どんなZFの公理ではない命題を使ってると？
>（それが出来ないならば 記号∩を使うのは ”ま ず い”！！ｗｗ ；ｐ）
それが示せなければただの言いがかり。言いがかりはやめましょうね、チンピラさん。
220(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/02(土)10:27 ID:WzsFWnhL(1/11)
>>219
そのURL は
詩想社刊 絶対「謝らない人」
自らの非をけっして認めない人たちの心理
榎本 博明（著）
新書判 200ページ 2025年6月3日 発売
内容紹介
いま、急増している「絶対謝らない人」たち・・・
「謝ったら死ぬ病」を読み解く。
ネットで炎上を繰り返す懲りないインフルエンサー、
過ちを指摘されても決して非を認めない政治家、
責められても屁理屈をこねて「言い負かす」ことに執着する著名人、
自分の失態だけはなぜかスルーする職場の同僚、
謝罪すべきなのに常に上から目線でイラっとさせる知人、
ミスを指摘するとむきになって反論してくる部下・・・
なぜいま、「謝ることのできない日本人」が増えてきたのか
略
なぜある種の人たちは、そこまで謝罪を忌避し、
自己正当化にこだわるのか。
「絶対謝らない人」の
いびつな心理を読み解く。
目次
第１章 何があっても「謝らない人」が増えてきた
・ミスを指摘されると謝るどころ かキレる人
・平気で見え透いた言い訳をする人
(引用終り)
だね
なるほどね
それゴキブリくんのことだね
>>213より再録
(引用開始)
https://fr.wikipedia.org/wiki/Axiomes_de_Peano
Axiomes de Peano
(google仏語訳)
ペアノの公理
存在と唯一性
集合N は、 0 が属し、かつ後続集合に関して閉じているすべての集合の共通集合である。
(引用終り)
この仏 wikipediaにある 自然数の集合Nは、無限集合として最小であり
無限公理では、無限集合に含まれる部分として 規定される
即ち、無限公理で認められる無限集合には、必ず 自然数の集合Nが含まれ
集合N より小さい集合は、有限集合だから 繰り返すが 無限集合として最小
結果的に そうなる
問題は、無限公理で規定された 無限集合に含まれる部分の集合Nを
公理的集合論として 公理のみを使って 如何に集合Nを取り出すか？
いま2025年現在では、分出公理を使うのが主流で スッキリしている
例えば 無限公理のwikipedia
日 ”無限集合Iから自然数を抽出する” https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
英 ”Extracting the natural numbers from the infinite set” https://en.wikipedia.org/wiki/Axiom_of_infinity
仏 ”L'ensemble des entiers naturels” https://fr.wikipedia.org/wiki/Axiome_de_l%27infini
など
記号∩を使う問題点は
１）記号∩自身は、ZFCの公理ではない（和集合の公理はあるが）
２）記号∩を使った式から、きちんと ”公理のみを使って 如何に集合Nを取り出すか？”の証明が困難で面倒
ってことですね
ゴキブリくんは、えらく 記号∩を使うことに執着しているｗ ；ｐ）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s