## A theory of sets, Volume 18 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

2B abx AGREEMENT appears Ax ux Ax(ux AxAy axiom schema binarian binariate borel F bsvs cardinal Chapter definiendum definition each expression DEFINITIONAL SCHEMA empty set EQUINUMEROSITY Ex ux expression obtained expression of class formula free variables Hint inclusive indicial Induced Rxy u'xy Induction Theorem Kuratowski's Lemma LEMMAS logic and set mathematical Ndc xy nest obtained by replacing orderedpair ordinal primed symbol principle of choice Proof Q by replacing reit rng strc rules of inference schematic expressions schematic substitution schematically replacing scsr set theory singleton sng sng sng VF sng x sngl st z x strc Kx strn subchain subformula symbol of type terminal symbol theory of notation tuple u'xx u'xy v'xy univalent variable is free Vx ux wellorders yx ux Zorn's Lemma