constructive mathematics - German English Dictionary