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:

    The horror of Gandhi’s murder lies not in the political motives behind it or in its consequences for Indian policy or for the future of non-violence; the horror lies simply in the fact that any man could look into the face of this extraordinary person and deliberately pull a trigger.
    Mary McCarthy (1912–1989)

    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)

    War is thus divine in itself, since it is a law of the world. War is divine through its consequences of a supernatural nature which are as much general as particular.... War is divine in the mysterious glory that surrounds it and in the no less inexplicable attraction that draws us to it.... War is divine by the manner in which it breaks out.
    Joseph De Maistre (1753–1821)