- 387 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/17(土) NY:AN:NY.AN ID:???]
- >>367
重症だな
論理の初歩も知らずにデタラメ並べてごねてるだけだな
自然演繹NK、シーケント計算LK、ヒルベルトシステムとかどれか一つでも聞いたことあるかね？
>>384
{x: not x∈x}をラッセル集合と呼んでるようにしか解釈できないが
君の解釈は違うんだよね
>>279
> ラッセル集合は{x|x∈x}
> {x| not x∈x}はその否定
> つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ
基礎の公理があるなら{x|x∈x}は単に空集合だね
集合の否定とか不思議な表現だね
