求一些在数学证明中常用的英文术语!例如“假设”“如果”等等,要全一点.