7.1 作为重言式的数学