Αναδρομή (Recursion) και Τυπική θεωρία αριθμών (Formal Number theory) επέκταση (extension) Συνέπεια (consistency). Β. Πάσχος — 1986 Μαθηματική Επιθεώρηση