formal mathematical system - Turkish English Dictionary