A Theory of Sets: A Theory of Sets

accepted agree AGREEMENT appears Ax ux Ax(ux axiom Borel F cardinal Chapter checking conclude consequence consistent constants constructed definition definition each expression DEFINITIONAL SCHEMA dmn f edmn Ex ux example expansive expression of class follows formal formula function given hand inclusive indicial Induced infer initial interested language LEMMA logic mathematical Maximal nest obtained occurs orderedpair p a q parenthetical present principle Proof reit relation Remark RULE schematic expressions scsr set theory strc stro substitution symbol THEOREM theory of notation tuple u'xy unitive universal variable Vx ux wellorders x e y