mathematical systems