Consistency strength of a worldly cardinal
ID: consistency-strength-of-a-worldly-cardinal
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, .
New to topics? Read the docs here!