Related Ideas
It was proved by Kurt Gödel that any model of ZF has a least inner model of ZF (which is also an inner model of ZFC + GCH), called the constructible universe, or L.
There is a branch of set theory called inner model theory which studies ways of constructing least inner models of theories extending ZF. Inner model theory has led to the discovery of the exact consistency strength of many important set theoretical properties.
Read more about this topic: Inner Model
Famous quotes containing the words related and/or ideas:
“There is nothing but is related to us, nothing that does not interest us,—kingdom, college, tree, horse, or iron show,—the roots of all things are in man.”
—Ralph Waldo Emerson (1803–1882)
“Our ideas are the offspring of our senses; we are not more able to create the form of a being we have not seen, without retrospect to one we know, than we are able to create a new sense. He whose fancy has conceived an idea of the most beautiful form must have composed it from actual existence.”
—Henry Fuseli (1741–1825)