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