Inter-universal geometry と ABC予想 (応援スレ) 73 (765ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
160(1): １３２人目の素数さん [] 08/01(金)00:05 ID:n2NtHms/(1/17)
>>155
>いいかな、公理的集合論において、記号∩ は 他の公理から組み立てられなくてはならない
>そして >>121にも記したが
>『特に今回は”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104
> を、ZFCの公理を使って、これが 無限集合のN：＝{0,1,2,・・・} であることを示してねｗｗ ；ｐ）』
>ってこと
いいかな、全部回答済み。
君、言葉が通じないの？ 言語障害？ 病院行きなよ
>式 ”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104 は
>純粋にZFCの公理のみ から導かれなければならない
ZFCの公理ではない何を使ってると？ 言いがかりはやめようね、チンピラさん
161(1): １３２人目の素数さん [] 08/01(金)00:15 ID:n2NtHms/(2/17)
>>156
>循環論法ではないよ
嘘はダメ。
自然数を使って集合Nを定義したら循環論法。
なぜなら、ペアノの公理では公理を満たす集合Nの元を自然数と定義しているから。
>ℕ の元を自然数、S(n) を n の後者（英: successor）[注釈 2] という。
が読めないの？ 言語障害？ 病院行きなよ
162(1): １３２人目の素数さん [] 08/01(金)00:17 ID:n2NtHms/(3/17)
言葉が通じず持論が正しいと言い張るって人格崩壊してるよ君
数学どうこう以前だよ
169(2): １３２人目の素数さん [] 08/01(金)01:00 ID:n2NtHms/(4/17)
>>157
>a^ ＝ {x ∈P(a) | M(x)} は、冪集合 P(a)の殆ど全てを渡る集合族である
はい、大間違いです。
君、未だに帰納的集合が分かってないね。
帰納的集合aのすべての部分集合のうち帰納的集合であるものは圧倒的少数派。なぜなら帰納的集合は後者関数に関して閉じている必要があるから。
例として、前者を持たない（xを任意の元としてS(x)の形で表せない）元として{}と{{{}}}だけを持つ帰納的集合Bを考えた時、Bの部分集合は非可算個（Bは可算だからP(B)は非可算）あるが、
そのうち帰納的集合であるものはωとBの2個だけ。なぜなら「後者関数に関して閉じている」の制約により自由度は{{{}}}を持つか否かの2通りしか無いから。持たないものがω、持つものがB。
言ったよね？ 理解したいなら一から一歩ずつ勉強しなと。君はいきなり百に飛びつくから躓いて妄想に走るんだよ。
170(1): １３２人目の素数さん [] 08/01(金)01:11 ID:n2NtHms/(5/17)
>>157
>{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}は、冪集合公理 P(A) を使っていない（使うと言ってない）
はい、大間違いです。
使うと言ってないからといって使っていないことにはならない。且つZF上では使ってよい。
{x⊂A|φ(x)}とはAの部分集合で論理式φ(x)が真であるもの全体の集合。特にφ(x)が恒真式なら2^Aそのもの。
2^Aの存在はべき集合の公理に依拠するから、当然べき集合の公理を使っている。
使っちゃダメなの？ それ言いがかりだよ、チンピラくん
172: １３２人目の素数さん [] 08/01(金)01:22 ID:n2NtHms/(6/17)
>>169は一旦取り下げる
174: １３２人目の素数さん [] 08/01(金)01:32 ID:n2NtHms/(7/17)
>>157
>P(a)から 有限集合を除いた 集合族が a^ ＝ {x ∈P(a) | M(x)}
はい、大間違いです。
無限集合という言葉を粗雑に使うから間違う。
>>108で警告してあげたのに人の言う事聞けないね君。
193: １３２人目の素数さん [] 08/01(金)08:14 ID:n2NtHms/(8/17)
>>184
>正確には、”大間違い”ではなく 不適切だろう。
いいえ、大間違いです。
>これを書いた人は
>『「x は無限集合である」という命題を M(x)』>>157 としている
君、無限集合という呼称に違和感を感じないのか？ じゃあ君初歩から分かってないね 違和感を感じてたら以下を読むはず 君読んでないだろ 人がせっかく警告してやってるのに無駄にしやがって
（引用開始）
無限集合
まず最初の問題、「自然数全体を集めたものは集合になるかどうか」ですが、 これは「無限集合の公理」によって解決します。
∃a[φ∈a ∧ ∀x(x∈a ⇒ x＋∈a)]
この公理により、後継ぎを使って無限に新しい元を作った物が集合になることが保証されます。 「無限」というのがどういうことなのか、ここでは詳しく述べませんが、 直感的にこれが無限に多くの元を含むことは分かると思います。
ここでは、この公理を満たす集合 a を無限集合と呼ぶことにします。 （単に「元の数が無限となる（自然数全体と同じか、より大きい濃度を持つ）集合」も無限集合と呼びます。これと区別するために、無限公理を満たすような集合のことを無限系譜と言って区別している教科書もあります。）
（引用終了）
>命題 M(x)を、”無限集合”という言葉を使わずに ZFC公理系内で規定しようとすると
>おそらくは 循環論法になる
ならねーよ馬鹿。
実際、なんとか先生もφ(x)で規定してるじゃん。
199(1): １３２人目の素数さん [] 08/01(金)08:22 ID:n2NtHms/(9/17)
>>185
>但し、どの公理を どう使うかは、明示しなければならない！！！（下記 公理 ja.wikipedia）
下記とやらに君の持論は一言も書かれてなくて草。
妄想はダメだよ。
200(1): １３２人目の素数さん [] 08/01(金)08:32 ID:n2NtHms/(10/17)
口を開けば間違いだらけの雑談くんは今日も大惨敗。
一から一歩ずつ勉強せずいきなり百に飛びつくから躓いて妄想に走るんだよ。
実際、君の持論が正しかったことはただの一度も無いだろ？ そりゃそうだ、妄想が正しいはずがない。
201(1): １３２人目の素数さん [] 08/01(金)08:38 ID:n2NtHms/(11/17)
>>183
>「不利なときは、戦線を拡大せよ」
不利なのは間違いだらけの雑談くんだね。
君の持論、ぜんぶ間違いだよ。当然だ、妄想なんだからｗ
205: １３２人目の素数さん [] 08/01(金)11:42 ID:n2NtHms/(12/17)
>>204
>人は、ここで この公理を使います 使いましたという必要がある
何を言い出すかと思えば独善マイルールか
誰も君の妄想に興味無いから
207: １３２人目の素数さん [] 08/01(金)14:15 ID:n2NtHms/(13/17)
>>185
>但し、どの公理を どう使うかは、明示しなければならない！！！（下記 公理 ja.wikipedia）
無限公理「空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する」
与えられたxに対して{x}が存在するためには対の公理が必要なのに使うと明示してないから無限公理は間違いなんだね。知らなかった。
論文発表した方が良いよ。「ZF上に無限集合は存在しない。なぜなら無限公理は間違いだから。」と
211: １３２人目の素数さん [] 08/01(金)16:03 ID:n2NtHms/(14/17)
>>209
出たあああああ ∩恐怖症ｗ まだ治ってなかったんだね 早く治した方が良いと思うよ みっともないから
それで無限公理は間違いなんでしょ？ 対の公理を使うなんてどこにも書かれてないからね 早く論文出しなよ 現代数学を根底から覆す大発見じゃん
>無限公理「空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する」
214: １３２人目の素数さん [] 08/01(金)21:09 ID:n2NtHms/(15/17)
>>213
>記号∩を使うなど 余計なことをする必要がない
「余計なこと」は言いがかり。
>まして、記号∩を使ったときには
>記号∩の意味
まったく明確。オチコボレが理解できないだけのこと。
>や集合Nの定義を、
まったく明確。オチコボレが理解できないだけのこと。
>きちんと集合公理を使って 明示的に示す必要がある
どんなZFの公理ではない命題を使ってると？
>（それが出来ないならば 記号∩を使うのは ”ま ず い”！！ｗｗ ；ｐ）
それが示せなければただの言いがかり。言いがかりはやめましょうね、チンピラさん。
215: １３２人目の素数さん [] 08/01(金)21:12 ID:n2NtHms/(16/17)
自分が理解できないものは認めないと？
世界は君を中心に回ってはいないよ オチコボレさん
216: １３２人目の素数さん [] 08/01(金)21:12 ID:n2NtHms/(17/17)
それで無限公理は間違いなんでしょ？ 対の公理を使うなんてどこにも書かれてないからね 早く論文出しなよ 現代数学を根底から覆す大発見じゃん
>無限公理「空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する」
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s