«As we shall see, the logical axioms are so designed that the logical consequences (in the semantic sense, cf. p. 56) of the closure of the axioms of $K$ are precisely the theorems of $K$.» Page 60 “Introduction to Mathematical Logic“ SECOND EDITION by ELLIOTT MENDELSON The same is in fourth edition.
What does it mean: “the closure of the axioms”?