formal mathematical system - German English Dictionary