单项选择题

A.严密的逻辑体系
B.以算为主
C.逻辑证明为主
D.以上全部是