数学证明中不得自觉地附加其他前提，也不能有其他隐含的前提