Isole les entités nommées du texte suivant : Curieusement cela n' a pas empêché les logiciens de continuer à chercher ; ainsi Gerhard Gentzen donna en 1936 qui utilisait un principe d' induction plus fort que la récurrence sur les entiers , et Gödel lui-même produisit plusieurs constructions , notamment l' , conduisant à des preuves de cohérence de l' arithmétique .
O, O, O, O, O, O, O, O, O, O, O, O, O, O, B-PER, I-PER, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, B-PER, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O