Por ejemplo, el conjunto de números naturales constituyen un modelo para los axiomas de Peano.