En fait la propriété de Goodstein a pile poil la force qu'il faut pour être indécidable dans l'arithmétique de Peano, on ne peut guère faire mieux.