Lazi

Lazi et les théorèmes de Gödel

Description

Les théorèmes d'incomplétude de Gödel ont des résultats différents des preuves de cohérence de lazi.0.0/b. On cherche à voir ici quels sont les hypothèses des théorèmes de Gödel qui ne s'appliquent pas à lazi et plus généralement à bien comprendre d'où viennent ces différences.

Sous-tâches