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