INDUCTION TRANSFINIE

Article

• DÉMONSTRATION THÉORIE DE LA

  • Écrit par Jean-Yves GIRARD
  • 6 140 mots
  • 1 média
  ...était nécessaire, par le second théorème d'incomplétude, de se servir de méthodes extérieures à l'arithmétique. Gentzen utilisa comme méthode l' induction transfinie jusqu'à ε₀, où ε₀ est défini comme le suprémum des ordinaux ω_n, avec ω₀ = 1, ω_n+1 = ω^ω_n). Dans les années...