Month

A Development of the Peano Postulates (open access)

A Development of the Peano Postulates

The purpose of this paper is to develop the Peano postulates from a weaker axiom system than the system used by John L. Kelley in General Topology. The axiom of regularity which states "If X is a non-empty set, then there is a member Y of X such that the intersection of X and Y is empty." is not assumed in this thesis. The axiom of amalgamation which states "If X is a set, then the union of the elements of X is a set." is also not assumed. All other axioms used by Kelley relevant to the Peano postulates are assumed. The word class is never used in the thesis, though the variables can be interpreted as classes.
Date: May 1963
Creator: Peek, Darwin Eugene
System: The UNT Digital Library