constructivistical theory of the real numbers - Deutsch Englisch Wörterbuch