What people are saying - Write a review
We haven't found any reviews in the usual places.
Chapter 2 On the problem of schemata of infinity in axiomatic set theory
Chapter 3 The role of classes in set theory
Chapter 4 Choice functions of sets and classes
Chapter 5 A new finitary proof of a theorem of Mostowski
applying assigns axiom of choice axiom of extensionality axiom of foundation axiom of infinity axiom of pairing axiom of replacement axiom schema axiom VII axiomatic set theory axioms I–III belongs Bernays cardinal number class of ordinals class of pairs class terms class theorem class variables consequence consistent converse domain Corollary countable defined definition denote element enumerable sequence equivalent exists a function exists the class extension finite classes finite ordinal follows formal formula fraction triplet free variables function F functional set hence II-set infinite k-tuplet language Lemma LÚvy limiting number logical Math Neumann non-empty notion obtain one-to-one correspondence ordered pair pair class polynomial positive real numbers predicate proof proper subset provable prove quantifiers recursion reflection schema satisfies set representing statement Strans subclass symbols T-formula transfinite transitive set well-ordering Zermelo