Citation Hunt

El siguiente fragmento de Wikipedia no está respaldado por una fuente confiable. ¿Puedes encontrar una?

Haz clic en ¡Lo tengo! para ir a la Wikipedia y corregir el fragmento, o Siguiente para ver otro. ¡Buena suerte!

En la página Teoremas de incompletitud de Gödel:

"

El primer teorema de incompletitud afirma que, bajo ciertas condiciones, ninguna teoría matemática formal capaz de describir los números naturales y la aritmética con suficiente expresividad es a la vez consistente y completa. Es decir, si los axiomas de dicha teoría no se contradicen entre sí, entonces existen enunciados que no se pueden probar ni refutar a partir de ellos. En particular, la conclusión del teorema se aplica siempre que la teoría aritmética en cuestión sea recursiva, esto es, una teoría en la que el proceso de deducción se pueda llevar a cabo mediante un algoritmo.[cita requerida]