Sally (./7903) :
very > « sémantiquement »

Ben le vrai et le faux sont des notions semantiques qui sont differentes de notions de prouvabilité ( évidemment quand on construit un modèle on cherche a ce que tout ce qui soit prouvable soit vrai, sauf a vouloir que tout ce qui soit vrai soit prouvable, mais on peut pas avoir les deux à la foi, sauf avec un model incoherent ... )