直観主義論理は、ラッセルのパラドックスの解決を目的とするものではない。
パラドックスの解決法をしめしていないし、実際解決していない。

ttp://taurus.ics.nara-wu.ac.jp/staff/kamo/shohyo/logic-b.html