Axiomatic System - Relative Consistency

Relative Consistency

Beyond consistency, relative consistency is also the mark of a worthwhile axiom system. This is when the undefined terms of a first axiom system are provided definitions from a second such that the axioms of the first are theorems of the second.

A good example is the relative consistency of neutral geometry or absolute geometry with respect to the theory of the real number system. Lines and points are undefined terms in absolute geometry, but assigned meanings in the theory of real numbers in a way that is consistent with both axiom systems.

Read more about this topic:  Axiomatic System

Famous quotes containing the words relative and/or consistency:

    Personal change, growth, development, identity formation—these tasks that once were thought to belong to childhood and adolescence alone now are recognized as part of adult life as well. Gone is the belief that adulthood is, or ought to be, a time of internal peace and comfort, that growing pains belong only to the young; gone the belief that these are marker events—a job, a mate, a child—through which we will pass into a life of relative ease.
    Lillian Breslow Rubin (20th century)

    The lawyer’s truth is not Truth, but consistency or a consistent expediency.
    Henry David Thoreau (1817–1862)