En citant wikipedia:
"En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction : il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie : celle-ci possède des réalisations qui lui donnent un sens."
Je comprends qu'il n'est pas possible de répondre à toutes questions avec un seul modèle d'une théorie consistante mais ce qui est "indecidable" dans ce modèle peut l'être dans une autre sans que pour autant la théorie puisse être capable de fournir un ensemble de modèles aptent à décider de la véracité de toute question.. et comme je n'ai pas de connaissances sur le sujet ce que je comprends peut n'avoir aucun sens avec ce qui est définni sérieusement, je préfère ne pas développer plutôt que de dire n'importe quoi (ce qui est très probablement déjà fait).
-----
Envoyé par Médiat 
