[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 63 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
915(5): 2022/01/09(日)13:10 ID:LV2O1tR+(4/17) AAS
>>914
つづき
２）
さて、Zermeloが間違っているとは、全く思わないので、屋上屋だが下記自然数の suc(a) := {a}の項、及びその後のをご参照
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
自然数
形式的な定義
自然数の公理
「ペアノの公理」も参照
省14
916(2): 2022/01/09(日)13:11 ID:LV2O1tR+(5/17) AAS
>>915
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
遺伝的有限集合（ hereditarily finite set）は有限個の遺伝的有限集合からなる有限集合と定義される。この定義は帰納的である。遺伝的という名称は遺伝的有限という性質がその元に遺伝することによる。
全ての整礎的な遺伝的有限集合からなる集合を V_ωと書く。
議論
遺伝的有限集合のクラスはフォン・ノイマン宇宙の部分クラスである。これはツェルメロ=フレンケル集合論において無限公理をその否定に置き換えた理論のモデルを成す。したがって無限公理はその他の公理からは証明できない。
V_{n} の濃度は ^{n-1}2（テトレーションを見よ）であるから遺伝的有限集合はちょうど可算無限個ある。
同じことであるが、集合が遺伝的有限であることと、その推移閉包が有限であることは同値である。 V_ω は H_ｱﾚﾌ0 とも書かれる。その意味するところは遺伝的に濃度が ｱﾚﾌ0 未満ということである。
省15
919(1): 2022/01/09(日)13:38 ID:xkXf9ooS(3/8) AAS
絶対に正しい主張なら連帯保証人丸ごとの全資産のみならず全財産を命込みで担保にする事を法的有効公正証書を以ての誓約を下に主張できる｡
できない主張ならばデマ（出任せ）の（張ったり）であり、ハッタリもまた嘘である｡
また、ハッタリが結果的に正しかったとしても偶然のマグレ当たりとしてハッタリによる嘘の扱いと成る｡
>>902
人のレスをよく読まず頭っからカルト扱いするコピペを貼り付けるばかりの頭ん中ぁ空っぽコピペ貼り作業員のテメェと違って
俺は連帯保証人丸ごとの全資産のみならぬ全財産を負債能力MAXで法的公正証書型誓約書を下に
セタこそインチキと断言主張できるぜ。お前はどうするんだ？逃げるんかコラ？あぁ？
この>>913-916のゴミ野郎の主張の肩を持つんだろ？え？腹ぁくくれよコラ｡
誰彼構わず見境なくコピペレスを相手の回りにバラ撒いた挙げ句の果てに俺にまで絡んで来たテメェ自身で、やった事のケジメ着けろや｡
誰彼構わず天羽優子とか言うババァ認定して回る迷惑行為をしてのけてるんだから、その落とし前を着けろってんだよ｡
省2
920(1): 2022/01/09(日)13:44 ID:xkXf9ooS(4/8) AAS
>>913-916
おいそこのセタとか言う燃えるゴミと燃えないゴミの無分別結集体､
シングルトンは後続順序数では有り得ないにも関わらずω重シングルトンの存在主張し続けるなら
早くωの前の順序数を言えやコラ。またお前の妄想発明なんか持ち出すなよ、公知の定義や定理を下に論述しろよ｡
お前自身がお前自身の精神衛生的保身感情に騙されて嘘を吐いてしまってるわけではない証拠を早く見せろやコラ｡
935: DiverCity (りんかい線) 2022/01/09(日)15:59 AAS
>>915
>要するに、Zermelo ordinalsで有限のordinals つまり 自然数∀ｎ は作れて
「自然数∀ｎ 」は「任意の自然数」の意味かい？変な言い方だね
>自然数の集合Nも作れるが、
個々の自然数が作れるだけでは、自然数の集合Nが存在するとはいえない
個々の順序数が作れても、順序数全体の集合が存在するとはいえないだろ？
実際存在したら矛盾するから ブラリ＝フォルティのパラドックス 知らないの？
>このままではシングルトンのωは出来ていないぞ
ああ、できるわけないけどね
961: 2022/01/09(日)18:51 ID:tBwtbSr8(10/17) AAS
>>915
なんで無駄なコピペは連投するのに肝心のω重シングルトンなるものはコピペしないの？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.520s*