2." If a T theory is a number theory with a finite number of axioms, the formalisations (formal statements translating an assertion) of the assertion "T is consistent" cannot be deducted in T." ###>2." Si une théorie T est une théorie à un nombre fini d'axiomes, les formalisations (énoncés formels traduisant une assertion) de l'assertion "T est consistante" ne peuvent pas êtres déduites dans T."