Stephen G. Simpson

FOM: Russell paradox for naive category theory