[nom] État de ce qui n'est pas décidable. Exemple: `Ensuite, en appliquant le lemme diagonal à des formules convenablement choisies, on déduit successivement le théorème d`'indécidabilité` de Church dans la sous-section 4.2, le théorème de Tarski sur la non-définissabilité de la vérité arithmétique dan...