0348１３２人目の素数さん
2014/05/21(水) 10:45:12.28∃X∀x[x∈X]を公理にすると分出公理からラッセル集合が作れるので正則公理無しでも矛盾します
探検
集合論について
■ このスレッドは過去ログ倉庫に格納されています
∃X∀x[x∈X]を公理にすると分出公理からラッセル集合が作れるので正則公理無しでも矛盾します
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【TBS】東京都知事選、小池氏大きくリード 都政「評価」約7割も プロジェクションマッピング「見直し必要」5割超★2 [PARADISE★]
- 【トナラー】人気声優・間島淳司、電車の座席めぐる投稿が物議 余裕のある車両で「女性の隣に何気なく座った」行為に… [Ailuropoda melanoleuca★]
- 蓮舫氏「小池さん、８年間お疲れさまでした」 小池知事“地元”池袋で街頭演説 [少考さん★]
- 国民の不信感の原因「首相にある」と菅氏 [蚤の市★]
- 【芸能】有吉弘行 吉野家〝つゆだくだく〟注文に苦言「みじめじゃん」「家でやれば？そんなことは」 [フォーエバー★]
- 【トナラー】人気声優・間島淳司、電車の座席めぐる投稿が物議 余裕のある車両で「女性の隣に何気なく座った」行為に… ★2 [Ailuropoda melanoleuca★]
- 【フジテレビ】2024 FORMULA 1【NEXT】Lap323
- 【DAZN】フォーミュラ 【F1 F2 F3 P】lap1494
- 【フジテレビ】2024 FORMULA 1【NEXT】Lap321
- 【DAZN】フォーミュラ 【F1 F2 F3 P】lap1495
- ハム専5
- とらせん
- とうすこ🤝ホロアン 同盟会議🏡
- ワイ、ヴィーガンだったことが判明！？その正体が明らかに！
- マリン船長のデカケツがはみ出るお🏡
- 岡山県「たすけて！廃棄物を15年放置してたら、国内最悪レベルの【水道水のPFAS汚染】が起きたけど、市民には黙ってたの…」 [524963903]
- 栗とリスが好きなんだが
- 【悲報】暇空茜の信者さん、Vtuberに助けを求めてしまう [266670284]