Zerosquare (./417) :
Oui. Ce que je veux dire c'est qu'ils sont vrais dans l'axiomatique qu'on a choisie (par définition), mais c'est arbitraire, ils peuvent très bien être faux dans une autre axiomatique. Donc pour moi "absolu" n'est pas le bon terme, vu que la véracité de ce qui est démontré se limite à l'axiomatique que tu utilises.

Ben non, ce qu’il dit justement, c’est que l’implication (A -> T) est vrai dans l’absolu.