Échec de l’analyse (fonction inconnue « \coherence »): {\displaystyle \coherence_de_l_arithmetique}