Let and . A worldly makes a model of ZFC, and arithmetic absoluteness for a rank-initial model makes it a model of , so proves . If proved , then the stronger theory would prove its own consistency, contradicting the Gödel second incompleteness theorem. Thus, assuming consistency, .
Articles by others on the same topic
There are currently no matching articles.