Validité

Description

Cette partie étudie la validité (la cohérence) de Lazi.0

Sous-tâches

• Cohérence de lazi.0.0 | fait  | 2019
• Cohérence de lazi.1.0 | à faire  | 2019
• Lazi et les théorèmes de Gödel | en cours  | 2019