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