Diferencia entre revisiones de «Axiomas de Peano»
Contenido eliminado Contenido añadido
m Bot: 8 - Estandarizaciones y otras mejoras automatizadas |
Etiquetas: Edición desde móvil Edición vía web móvil |
||
Línea 90:
:<math>A_4: \forall x \forall y ((N(x) \and N(y) \and x'=y') \to x=y)</math>
:<math>A_5: \Big( \phi(0) \and \forall x
:<math>A_5': \forall \phi \bigg( \phi(0) \and \forall x \Big( (\phi (x) \to \phi(x')) \to \forall x \ \phi(x) \Big) \bigg)</math>
| |||