Récursion ("induction complète" en math) <--> Induction

    <p class=default>
      
        Gödel sera obligé en particulier de faire intervenir la notion de " classe récursive " 
        qu'il traitera comme une composante légitime de l'arithmétique. Ce faisant il opère un 
        saut que tous les mathématiciens ne sont pas prêts à faire. Daval et Guilbaud en 
        particulier considèrent au contraire que la récursion est elle-même une notion 
        métamathématique et non arithmétique : " S'il y a une métamathématique, elle est 
        constamment menacée d'expropriation par la mathématique. L'induction (récurrence) est-elle 
        autre chose qu'un constat 
      
      
        <u>métamathématique <http://www.lutecium.fr/stp/j16.html></u>
      
      
         ? " (Daval & Guilbaud 1945 : 144) .
      
    <br/>

      
        
      
    </p>