Axiom of Power Set - Consequences

Consequences

The Power Set Axiom allows a simple definition of the Cartesian product of two sets and :

Notice that

and thus the Cartesian product is a set since

One may define the Cartesian product of any finite collection of sets recursively:

Note that the existence of the Cartesian product can be proved without using the power set axiom, as in the case of the Kripke–Platek set theory.

Read more about this topic:  Axiom Of Power Set

Famous quotes containing the word consequences:

    [As teenager], the trauma of near-misses and almost- consequences usually brings us to our senses. We finally come down someplace between our parents’ safety advice, which underestimates our ability, and our own unreasonable disregard for safety, which is our childlike wish for invulnerability. Our definition of acceptable risk becomes a product of our own experience.
    Roger Gould (20th century)

    If you are prepared to accept the consequences of your dreams ... then you must still regard America today with the same naive enthusiasm as the generations that discovered the New World.
    Jean Baudrillard (b. 1929)

    Without being forgiven, released from the consequences of what we have done, our capacity to act would ... be confined to one single deed from which we could never recover; we would remain the victims of its consequences forever, not unlike the sorcerer’s apprentice who lacked the magic formula to break the spell.
    Hannah Arendt (1906–1975)