Rechtssystem (Mathematik)