 For Peano these were the axioms of number, which, along with axioms of classes and propositions, describe the properties of these entities and lead to the derivation of theorems that express the other important properties of those entities.