J'ai fait pas mal de lectures encore hier, mais je n'arrive pas aboutir à une vue d'ensemble satisfaisante et bien distinguer les choses. J'ai notamment essayé de comprendre ce qu'était un modèle (d'où provenait {0,1}, ou la sémantique de Kripke), comment savoir si un système de déduction a un modèle qui vérifie ses axiomes (théorème de complétude), et si le théorème de complétude assure qu'un tel modèle existe, alors quel est il ?