constructivistical theory of the real numbers - Französisch Englisch Wörterbuch