Wikipedia

Diferencia entre revisiones de «Independencia (lógica matemática)»

Explorar historial interactivamente
← Ir a diferencia anteriorIr a siguiente diferencia →
Contenido eliminado Contenido añadido
VisualWikitexto
Sin resumen de edición
Etiquetas: Edición desde móvil Edición vía web móvil
m Revertir: usuario añadiendo información sin referenciar, posiblemente sea un bulo, no atiende a los avisos dados
Línea 12:
*El [[axioma de elección]].
*La [[hipótesis del continuo]], y la [[hipótesis del continuo generalizada]].
El [[Teoremas de incompletitud de Gödel|teorema de incompletitud de Gödel]] establece la existencia de proposiciones independientes en cualquier teoría que contenga la [[aritmética de Peano]], tales como:
* La [[teoremas de incompletitud de Gödel|sentencia de Gödel]] {{math|''G''}}.
* La sentencia que afirma la consistencia de la propia teoría.
Obtenido de «https://es.wikipedia.org/wiki/Independencia_(lógica_matemática)»