Completeness theorem for first order logic.