1 results
tagged
complétude
✕
Excellente vidéo (et article) sur le(s) théorème(s) de Gödel.
C'est bien plus précis que la version allégée qu'on apprend parfois, mais qui n'a pas trop de sens en mathématiques.