In 494 he delineated the relationship between church and state.
... class is proper. For example, Russell's paradox becomes a proof that the class of all sets is proper, and the Burali-Forti paradox becomes a proof that the class of all ...