"Todo conjunto de enteros no negativos tiene un elemento mínimo."