17.数学的形式与内容