L is complete with respect to C if L ⊇ Thm(C).
L 关于C 是完备的，如果 L⊇Thm(C)。