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