Date of Award

5-1965

Degree Type

Report

Degree Name

Master of Science (MS)

Department

Mathematics and Statistics

Committee Chair(s)

Konrad Suprunowicz

Committee

Konrad Suprunowicz

Abstract

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.

Share

COinS