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)
“They [creative children] ask more questions than most children. They’re usually spontaneous and enthusiastic. Their ideas are unique and occasionally strike other kids as weird. They’re independent. Not that they don’t care at all what other kids think, but they’re able to do their thing despite the fact that their peers may think it’s strange. And they have lots and lots of ideas.”
—Silvia Rimm (20th century)