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