なぜ悪質な永久機関ビ ..
[2ch|▼Menu]
253:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN sfilj+mj
逃げるなよ
>>240
>∀x(not x∈x) はZF集合論では定理だが型理論では文法違反

0点
ZF集合論では集合とみなされないので定理にならない

本当に本当に白痴だなお前WWWWWWW


次ページ
続きを表示
1を表示
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch

4191日前に更新/203 KB
担当:undef