 The Naive Comprehension Axiom gives rise to Russell’s Paradox once we instantiate the quantified variable \(F\) to the concept \([\lambda z \, z\notinclose z]\), where \(z \notinclose z\) simply abbreviates \(\neg(z\in z)\), to yield: