11:08 AM
0

Gentzen presented a proof of the consistency of PA. This proof can be formalized in PRA (Primitive Recursive Arithmetic) + "Transfinite Induction up to $\epsilon_0$". In order to accept this proof as valid finitistically, you have to decide whether or not you accept the PRA + "$\epsilon_0$-indu...