completeness of axiom system