It is not the case that Gentzen's ordinals are assigned to finite syntactic objects while PA_ω ordinals are assigned to infinite trees, making them objects of fundamentally different ontological categories.
?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.