mathematical constructivism - German English Dictionary