填空題根據(jù)證明對(duì)象所屬領(lǐng)域不同,可以將證明分為()、()