原文:为什么数学上一些显而易见的事情,数学家也要编一个公理出来