consistent數學