Frage zu Artikel "Metamathematical Investigation of Intuitionistic.."