It is not the case that Tait's analysis of finitism identifies primitive recursive arithmetic (PRA) as the correct formalization, not Kreisel's autonomous progression.
?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.