Citation de PhilipGlass
Si T est une théorie cohérente qui satisfait des hypothèses analogues, la cohérence de T, qui peut s'exprimer dans la théorie T, n'est pas démontrable dans T.

C'est exactement ce que j'ai dit 2 posts + haut fdp