Je ne comprends pas très bien l'enchaînement entre les deux assertions en gras ; d'ailleurs, je crois que je ne comprends pas la deuxième assertion :T est une théorie récursivement axiomatisable qui permet de formaliser "suffisamment d'arithmétique", et dont tous les axiomes sont vrais dans N Que signifie que les axiomes de T sont vrais dans N? Que ce sont des théorèmes de l'arithmétique classique?