Three different ways in which systems of axioms can contribute to the discovery of new notions are presented and they are
illustrated by the various ways in which lattices have been introduced in mathematics by Schröder et al. These historical episodes reveal that the axiomatic method is not
only a way of systematizing our knowledge, but that it can also be used as a fruitful tool for discovering and introducing
new mathematical notions. Looked at it from this perspective, the creative aspect of axiomatics for mathematical practice is brought to the fore.
Keywords Axiomatics – Discovery – Lattice theory – Mathematical practice