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