Frage zu Artikel "Varieties of Constructive Mathematics"