It is not the case that Jensen's consistency proof of NFU demonstrates that type-lowering permits ordinal arithmetic without paradox, undermining the claim's generality.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.