Inter-universal geometry と ABC予想 (応援スレ) 73 (946ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
904(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)11:45 ID:7NN/U5QB(3/3) AAS
>>900
(引用開始)
＞そもそも添え字が無い。{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} は添え字付けられてないから。
添え字の有無にこだわるな
共通集合の対象が{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}の全体
これが読み取れない◆yH25M02vWFhPが馬鹿
(引用終り)
省37
905: 08/21(木)12:34 ID:VOoIKstu(1) AAS
>>904
z inductive ＝ ∅∈z∧∀y[y∈z→y∪{y}∈z] だから
N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x] と
N:={x∈I∣∀z(∅∈z∧∀y[y∈z→y∪{y}∈z] ⟹ x∈z)} は
同じ
＞集合積∩の記号は 素朴集合論では 2項演算として導入され 添え字集合族に対して拡張されるのが一般的だろ
物を知らぬ白知の妄想が一般的なわけないだろ
省1
908: 08/21(木)14:07 ID:LISQrQEJ(13/14) AAS
>>904
>口先でゴマカソウとしてないか？
それ、おまえの得意技
>・ここで 自然数 N:={x∈I∣∀z(z inductive ⟹ x∈z)} と スッキリ
なにがスッキリだよｗ おまえ「inductiveは数学的帰納法で、数学的帰納法を無限回実行できると言っている」とか超絶アホ発言した事もう忘れたの？
>記号∩が、公理から直接導けないので 公理の裏付けが不明確
そのアホみたいな言いがかりは大間違いであることを親切丁寧に教えてやったのにぜんぜん理解できんかった？ レベルが違い過ぎると会話が成立しないの好例ｗ
省13
909: 08/21(木)14:12 ID:LISQrQEJ(14/14) AAS
>>904
おまえさ、初歩の初歩からぜんぜん分かってないことをいいかげん自覚しろ
無自覚に不用意に口開いた結果間違いだらけになってんだよ
少しは恥を知れよ恥知らず
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s