Open Access. Powered by Scholars. Published by Universities.®

Other Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

PDF

1965

Axioms

Articles 1 - 1 of 1

Full-Text Articles in Other Mathematics

Axiomatic Set Theory, Ronald P. Smit May 1965

Axiomatic Set Theory, Ronald P. Smit

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

An analysis of the well known paradoxes found in intuitive set theory has led to the reconstruction of set theory by axiomatic means. This exposition is devoted to Zermelo-Fraenkel set theory with some changes made by Suppes.

The first order predicate calculus is presupposed. In addition to the usual quantifiers admitted, a unique existential quantifier is used. The primitive notions of the set theory are the empty set and the two place membership predicate.