intuitionistic mathematics - German English Dictionary