A contingent Russell's paradox
Two Cocchiarella type-free systems of nonstandard second-order logic are shown to produce a contingent Russell paradox, i.e., derivability of a contradiction from contingent premisses.
type-free systems of nonstandard second-order logic
scientific article; zbMATH DE number 935229