4、 一个数学理论体系内的每一个命题都必须给出证明。
出自:乐山师范学院数学思想方法