[zajio1am]

Goodstein's Theorem cannot be proved in Peano axiomatization of natural numbers in first order logic. You can have stronger axiomatization of natural numbers in first order logic that allows to prove Goodstein's Theorem - such axiomatization would contain subset of set theory and transfinite induction up to ordinal e_0. But it is still axiomatixation in first order logic.