" Unvollständigkeit und Unentscheidbarkeit Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung "