单项选择题

“命题演算的公理系统L的定理集”和“自然演绎系统C的定理集”之间是:()

A.全同关系
B.包含关系
C.交叉关系
D.矛盾关系
E.反对关系