The completeness of the first-order functional calculus