Get Math Help

GET TUTORING NEAR ME!

(800) 434-2582

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

    Home / Get Math Help

    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

    Back to List | POWERED BY THE WOLFRAM LANGUAGE