La Classification Mathématique par matières 2000 Mathematics subject Classification 2000 Question : CC = 11U05 03-XX Mathematical logic and foundations 03B25 Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10] 11-XX Number theory 11U05 Decidability [See also 03B25] Mot-clé : Retour à la page Classification Mathématique par Matières (version 2000)