 How does the nuclear-extranuclear distinction help to avoid the paradoxes mentioned in the section above? — Consider again the paradox from incompleteness: According to MOT\(^o\), there is an object that has the property of being blue as its sole property (we’ve called it “the object blue”, for short), in logical notation: \(\iota x\forall F(Fx \equiv F = B)\). It seems to be true of the object blue, by definition, that it has exactly one property. Yet, the property of having exactly one property is clearly distinct from the property of being blue. Thus, it seems that the object blue has at least two properties.