2.4 机械化数学法