单项选择题 关于逻辑在数学中的作用，数学家Lebesgue说：“有了新的发现，就需要引进逻辑化的（），逻辑的作用再重要，毕竟是次要的。”

单项选择题 关于逻辑在数学中的作用，数学家HWeyl说：“逻辑是数学家为了保持（）健康而遵守的卫生法则，但这并不是说，数学的目的是为了单纯培养逻辑。”

单项选择题 数学证明的两大功能为核实和（）。