单项选择题

()被大量用于相对论建立过程。

A.三段论法
B.反证法
C.归纳法
D.演绎法