Consistency
The above can be summarized by saying the fundamental consistency result is that given a forcing poset P, we may assume that there exists a generic filter G, not in the universe V, such that V is again a set theoretic universe, modelling ZFC. Furthermore, all truths in V can be reduced to truths in V regarding the forcing relation.
Both styles, adjoining G to a countable transitive model M or to the whole universe V, are commonly used. Less commonly seen is the approach using the "internal" definition of forcing, and no mention of set or class models is made. This was Cohen's original method, and in one elaboration, it becomes the method of Boolean-valued analysis.
Read more about this topic: Forcing (mathematics)
Famous quotes containing the word consistency:
“People who love only once in their lives are ... shallow people. What they call their loyalty, and their fidelity, I call either the lethargy of custom or their lack of imagination. Faithfulness is to the emotional life what consistency is to the life of the intellectsimply a confession of failures.”
—Oscar Wilde (18541900)
“The lawyers truth is not Truth, but consistency or a consistent expediency.”
—Henry David Thoreau (18171862)