23/12/15 18:28:50.41 QAKDogeI.net
>>526
>>>・現代の直観主義論理ではラッセルパラドックスは、克服されている(当然ですが)
>> これは完全にウソ
>笑える
ひろゆき氏の
「これそんなに難しい話?」
「この人達はバカなのかな?」
と同じレベルのレスポンスですね
大阪の同業者君は、ひろゆきに憧れてるの?
やめときなよ あの人なんも中身ないよ
>「現代の直観主義論理ではラッセルパラドックスは、克服されていない」?
はい >>478であなたは完全に死にました 諦めて成仏しましょう
>せいぜい グロタンディーク宇宙 the framework of “ZFCG”で間に合うんじゃね?
それ古典論理上の体系ですよ
しかも素朴集合論じゃないから {x|x∉x}は定義できませんよ
素朴集合論も根本的に分かってませんね
虚数は実在しない、とわめいてるひろゆき氏並
ご愁傷様です