思辨数学：它是思辨数学课堂教学的简称。