なぜ悪質な永久機関ビジネスはなくならないのか？４
at SCI
249:ご冗談でしょう？名無しさん
13/08/06 NY:AN:NY.AN sfilj+mj
>>240
＞∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
0点
ZF集合論では集合とみなされないので定理にならない
本当に本当に白痴だなお前ＷＷＷＷＷＷＷ
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
4191日前に更新/203 KB
担当:undef