Frage zu Artikel "Mathematical Logic and Formalized Theories"