Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
122(1): 08/24(日)17:18 ID:rTm6xTpy(6/11) AAS
>>119
>ZFC公理系で 集合積∩をZFC上で定義したうえで
既に10回くらい示してる
バカが理解できないだけ
> あなたの”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”が、下記の 無限公理 ja.wikipedia の
> ”無限集合Iから自然数を抽出する”と同様に やれればいいが・・ｗｗｗ
既に同じ集合であることを証明済み
省4
124: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/24(日)17:38 ID:+A9mxT/6(5/9) AAS
>>122
>いいからバカは消えろ
ふっふ、ほっほ
バカはおまえ
おまえは、運営でもなんでもないよ
なんの権限もないんだよ
おれ？
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.493s*