Let be a well-founded model of set theory of a complete theory , and let be a Paris model of . If the internal ordinals of admitted an external descending sequence , choose formulas defining them. Completeness makes and satisfy the same sentences, so the unique ordinals defined by the in would form an externally descending membership sequence. This contradicts well-foundedness of .
Articles by others on the same topic
There are currently no matching articles.