单项选择题

关于证明的三条基本公理不包括()。

A.同一律
B.排中律
C.矛盾律
D.交换律