A formal property theory that resolves Russell's paradox through typing while leaving semantic parad...