Inter-universal geometry と ABC予想 (応援スレ) 74

627: １３２人目の素数さん [] 2025/09/01(月) 10:13:58.81 ID:NdAal4Cf

>>612
＞∩Aλ （λは添え字）を考えると
＞最初をA0として 最後をAendとすると、
＞最初から最後まで 全て確認しないと
＞∩Aλの結果が定まらない。

最後ｗｗｗ

>無限公理は、平たく言えば 空集合∅から始めて 後者を作り
>それを可算無限回繰り返した集合N=ωを含む
>無限集合Iの存在を公理として認めるというものだ

はいダメ　院試の口頭試問落第
以下のように答えたら通ったんだけどね

「無限公理は、平たく言えば 空集合∅から始めて 後者を作り
それを任意有限回繰り返した集合を全て要素として持つ
無限集合Iの存在を公理として認めるというものだ」

違い、分かる？
　
>”無限集合Iから自然数を抽出する”にあるように、
>上記の集合N=ωを Iの部分集合として 分出公理で取り出す
>これが いまのスタンダード

上記のIの部分集合でやはり
「空集合∅から始めて 後者を作り それを任意有限回繰り返した集合を全て要素として持つ集合」
をつくり、上記集合のどれにも属する要素だけを持つ集合を分出公理で定義すればそれがN＝ω
これこそ本当のスタンダード

＞”部分集合として 分出公理で取り出す”をせずに
＞集合積∩を使う方法の問題点は、
＞集合積∩が その積の各要素に敏感だってことだ
＞つまり、その積の要素 全てを確定しないと
> 集合積∩Aλ が確定しないので、
＞集合積∩を使うのは 賢くないってことだね

賢くないのは、分出公理を使うのと集合積∩を使うのが実は同じと気づかない君

列に並べなきゃいけない（ウソ）とか
列には必ず最後が存在する（ウソ）とか
思ってるからトンデモ発言する

>無限公理は 集合N=ωを含む集合Iの存在を公理として認めるというものだから
>素直に、Iの部分集合として 集合N=ωを 分出公理で取り出せるならば その方がよほど賢明だ

Iのどんな部分集合として集合N=ωが取り出せるか、が重要
肝腎なのは、Iの部分集合で、無限公理を満たすもの全てに属する元だけを集めた集合をとること
それを∀を使って表しても無限個の集合の∩を使って表しても結局同じこと
なぜなら無限個の集合の∩を定義するのに∀を使ってるから

http://rio2016.5ch.net/test/read.cgi/math/1755784703/627