Expose les relations entre les notions de calculabilité, décidabilité, cohérence, contradiction..., qui dépassent le cadre strict des mathématiques (elles sont métamathématiques).