てすと

>>29
http://uni.2ch.net/test/read.cgi/sci/1375192413/245-279
245 ：ご冗談でしょう？名無しさん ：2013/08/06(火) 09:28:42.26 ID:pBpBlBRk
>>240
＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反

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

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

279 ：ご冗談でしょう？名無しさん ：2013/08/09(金) 16:27:51.20 ID:???
>>278
＞ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる

死亡確定だよお前ＷＷＷＷＷＷＷＷ
ラッセル集合は{x|x∈x}
{x| not x∈x}はその否定
つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ


＞x∈xである集合xが存在するかどうかとは関係ない

0点