Inter-universal geometry と ABC予想 (応援スレ) 73 (700レス)
前次1-
抽出解除 レス栞

110
(1): 07/31(木)16:00 ID:1CxagZxr(9/17) AAS
>だから使っても使わなくても同じだって。
ω = {y ∈ X : ∀x(φ(x) → y ∈ x)}
においても、ωのどの元もあらゆる帰納的集合の元なんだから、ωはあらゆる帰納的集合の共通部分なんだよ。
字面的に∩が無いから共通部分ではないと思った? 君、頭悪いね。そりゃ落ちこぼれるわな。
111
(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/31(木)18:12 ID:6G+cbRJY(5/6) AAS
>>107-110
ふっふ、ほっほ
踏みつけたゴキブリが、まだ動いているw ;p)

>x ∈P(a) と x⊂a は全く同じですが何か?

公理的集合論において
集合族としてみたときに、両者は全く別物ですよ

素朴集合論の議論と、公理的集合論の議論との
省21
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.025s