infinity, axiom of an axiom in set theory which lays down a condition that ensures that the domain of the theory contains a set with infinitely many members. 

– Thomas Mautner, Penguin Dictionary of Philosophy (London: Penguin, 2005)