completeness of first-order logic