Get Math Help

GET TUTORING NEAR ME!

By submitting the following form, you agree to Club Z!'s Terms of Use and Privacy Policy

    Axiom of Infinity

    Definition

    The axiom of Zermelo-Fraenkel set theory which asserts the existence of a set containing all the natural numbers, exists x(∅ element x⋀ for all y element x(y' element x)), where exists denotes exists, ∅ is the empty set, ⋀ is logical AND, for all means for all, and element denotes "is an element of". Following von Neumann, 0 = ∅, 1 = 0' = {0}, 2 = 1' = {0, 1}, 3 = 2' = {0, 1, 2}, ....

    Related term

    Zermelo-Fraenkel set theory

    Find the right fit or it’s free.

    We guarantee you’ll find the right tutor, or we’ll cover the first hour of your lesson.