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
Cette partie étudie la validité (la cohérence) de Lazi.0