Title: Decidable theories. 1-
Subjects: Gödel's theorem