填空題根據(jù)證明的表現(xiàn)形態(tài),可將證明分為()。