填空題以證明的形態(tài)為標準，對證明可分為（）的證明和（）的證明。