A Contingent Russell's Paradox
Francesco Orilia · Notre Dame Journal of Formal Logic · 1996
It is shown that two formally consistent type-free second-order systems, due to Cocchiarella, and based on the notion of homogeneous stratification, are subject to a contingent version of Russell's paradox.