intuitionistic mathematics - French English Dictionary