数学上的综合法有哪些