单项选择题

A、演绎法
B、假设法
C、托马斯归纳法
D、反证法