Por ejemplo, de los axiomas de Peano es posible deducir todas las verdades de la aritmética (y por extensión, de otras partes de la matemática).