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 Fundierung

    Definition

    One of the Zermelo-Fraenkel axioms, also known as the axiom of regularity. In the formal language of set theory, it states that x!=∅⇒exists y(y element x⋀y intersection x = ∅), where ⇒ means implies, exists means exists, ⋀ means AND, intersection denotes intersection, and ∅ is the empty set. More descriptively, "every nonempty set is disjoint from one of its elements." The axiom of foundation can also be stated as "A set contains no infinitely descending (membership) sequence, " or "A set contains a (membership) minimal element, " i.e., there is an element of the set that shares no member with the set.

    Back to List | POWERED BY THE WOLFRAM LANGUAGE