Maintenant, voilà mon problème : je considère deux classes d'énoncés dans T : celle des démontrables et celle des vrais, la première étant incluse dans la seconde, et même strictement. Le problème, c'est que si je prends dans cet exemple G=(∀ x H(x)) de tout à l'heure, ben G est vrai dans T, donc G+non T est contradictoire, et donc On en déduit que G est conséquence de T ?