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

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

93(4): 07/31(木)02:00:27.41 ID:1CxagZxr(1/17) AAS
>>90
>『ZFCは、あらゆる性質に対して、その性質を満たすすべてのものの集合が存在するとは仮定しません。
は
>抑制はもっぱら内包公理の排除による。(>>77)
のことを言っている。

>むしろ、任意の集合Xが与えられたとき、一階述語論理を用いて定義可能なXの任意の部分集合が存在すると主張します。
は
省11

100(1): 07/31(木)08:22:02.41 ID:NPM2QCVL(1) AAS
>>98
>ホイヨ >>97
>>97は君の妄想だけど、それがどうかしたかい？

>"記号∩を使うことを、ZFC公理から批判すると
>使っている公理を明示的に示すことにおいて、劣るということ
分出公理と明示的に示されてるから「劣る」は君の妄想。

>分出公理を使って直接部分集合として自然数の集合を抽出できるのに
省10

191: 死狂幻調教大師S.A.D.@月と六ベンツ 08/01(金)08:12:46.41 ID:1t6/xN+D(21/28) AAS
神官や禰宜、そういう世界にインフラはない。

272: 現代数学の系譜雑談 ◆yH25M02vWFhP 08/03(日)23:30:36.41 ID:NbGdsnnL(4/4) AAS
つづき

外部ﾘﾝｸ:de.wikipedia.org
Unendlichkeitsaxiom
google 英訳
Infinity axiom
Significance for mathematics
Infinite quantities
省4

277: 死狂幻調教大師S.A.D.@月と六ベンツ 08/03(日)23:41:25.41 ID:efM6JdP5(9/20) AAS
精神障害と夜という論文もあるよ。フランクルの夜と霧は仕事不足。

348(2): 08/04(月)16:30:10.41 ID:rSgE8B7A(12/12) AAS
>>343-344
ふっふ、ほっほ
踏みつけたゴキブリが、まだ動いているｗ　；ｐ）

くやしいのうwwwくやしいのうwww

(参考)
外部ﾘﾝｸ:dic.nicovideo.jp
dic.nicovideo
省8

611: 現代数学の系譜雑談 ◆yH25M02vWFhP 08/13(水)16:30:57.41 ID:ZWqlQsZq(3/3) AAS
つづき

外部ﾘﾝｸ:en.wikipedia.org
Well-order
Reals
The standard ordering ≤ of any real interval is not a well ordering, since, for example, the open interval ⁠
(0,1)⊆[0,1]
⁠ does not contain a least element. From the ZFC axioms of set theory (including the axiom of choice) one can show that there is a well order of the reals. Also Wacław Sierpiński proved that ZF + GCH (the generalized continuum hypothesis) imply the axiom of choice and hence a well order of the reals. Nonetheless, it is possible to show that the ZFC+GCH axioms alone are not sufficient to prove the existence of a definable (by a formula) well order of the reals.[3] However it is consistent with ZFC that a definable well ordering of the reals exists—for example, it is consistent with ZFC that V=L, and it follows from ZFC+V=L that a particular formula well orders the reals, or indeed any set.
省15

872(1): 08/20(水)17:23:05.41 ID:FFMsJxNV(15/16) AAS
>>865
>１）下記可算選択公理 Axiom of countable choice ACω は
>　”Application of ACω yields a sequence (Bn) n∈N ”
>　つまり ω長さの sequence (Bn) n∈N を作る能力がある
はい、大間違いです。
ACωを使えば可算族Anから代表系を取れると言っている。
君、数学だけじゃなく英語も全然ダメだね。
省2

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.047s