3値論理
ウカシェヴィチの3値論理はラッセルのパラドックスにおける解法を示したが、以下に示すような新たなパラドックスを導出してしまうことでも知られている(莫少揆のパラドックス)。具体的には以下のような集合があったとする、
X = {x | x ∈ x → ¬ (x ∈ x)}.
このとき X ∈ X を考えると、この値は T でも F でも I でも矛盾が発生する。