 The logic K is just a set of formulas from \(\mathcal{L}_{K}\). I.e., K \(\subseteq\mathcal{L}_{K}\). Points 1.4. gives a perspective on this set: They provide an axiomatization. Often, as below, the schema K is referred to as an axiom, though really the instantiations of K are axioms.