It is not the case that The language of the theories contains a formula Acc(x) such that provability of Acc(a-bar) in a correct theory entails that a belongs to the constructive ordinals O
?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.