constructive mathematics - Spanish English Dictionary