Six leçons sur l’incomplétude : logique, mécanique quantique