逃げるなよ
>>240
＞∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
0点
ZF集合論では集合とみなされないので定理にならない
本当に本当に白痴だなお前ＷＷＷＷＷＷＷ
なぜ悪質な永久機関ビジネスはなくならないのか？４
■ このスレッドは過去ログ倉庫に格納されています
253ご冗談でしょう？名無しさん
2013/08/06(火) NY:AN:NY.ANID:sfilj+mj■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 楽天・太田光 FA行使へ ドラフト前日の21日に意向伝える 球団の編成方針に配慮 [征夷大将軍★]
- 10代男性が感電し入院 3ピンのプラグに2穴のコード差し込む 体育館でバスケットゴールの片づけ中に 福岡・北九州市 [バイト歴50年★]
- 【358】車の買い替えで妻がこだわる「開運ナンバー」。アホくさ…と一蹴した夫が知った「驚がくの事実」 (FORZA) [少考さん★]
- サイバー攻撃ハッカー集団、GMOが27日12:00までに1億6000万払わなければ、顧客攻撃と声明 GMOは政府に防御要請、警察自衛隊へ [お断り★]
- 国会中の“爪の手入れ”で批判殺到…維新・石井めぐみ参院議員、釈明も火に油で父・石井章元議員の過去にも集まる注目 [バイト歴50年★]
- 日本の機関へのサイバー攻撃が増えてきて、人々が疑問に。「マイナンバーカードの情報って安全なの？ [バイト歴50年★]
- 【高市悲報】熊本被災者 「弁当は日に一日だけ。後は缶詰等。生野菜が欲しい。体育館は寒いから温かいものも欲しい」 [667773354]
- 丸ごとソーセージは菓子パンじゃないよな
- おすすめのメモリクリーナーソフト [634830743]
- 【悲報】子ども食堂で出されたカレーで31人がウエルシュ菌食中毒 店は当分の間営業禁止に
- 女子から言われて傷ついた言葉w
- フランス人「ラーメンは日本食だと思ってた。でも実際は中国発祥だった。私はずっと日本人に騙されていたんだ」 [153736977]