完备公理系统

complete axiom system