Inter-universal geometry と ABC予想 (応援スレ) 74 (963レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

229
(1): 08/26(火)09:29 ID:Dnf1fdnz(1/2) AAS
>>228
ごもっとも
1つずつ付け加える、というからには最後の操作がある、と考える
最後の操作がなくて完了した、とする場合、
1つずつ付け加えたのではない、ということになる
290: 08/26(火)16:26 ID:Dnf1fdnz(2/2) AAS
集合論の基本

「集合でない集まりが存在する」

例:性質¬x∈xを満たす集合の全体となる集合は存在しない

¬∃x∀y.y∈x⇔¬y∈y

これは、無限集合が存在しない場合にも正しい
(¬y∈yとなる集合は無限個あるので、当然ながら有限集合になり得ない)
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.029s