The completeness of the axioms of the logical function calculus