Constructive formalism - Goodstein R L (1951)
Keywords: Maths