Teorema di Goodstein - Altre lingue