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:
“So-called “austerity,” the stoic injunction, is the path towards universal destruction. It is the old, the fatal, competitive path. “Pull in your belt” is a slogan closely related to “gird up your loins,” or the guns-butter metaphor.”
—Wyndham Lewis (1882–1957)
“There are but few who have ideas and are, at the same time, capable of action. Ideas enlarge but stymie, action enlivens but confines.”
—Johann Wolfgang Von Goethe (1749–1832)