Quibli @quibli@redliberal.com
Cualquier teoría aritmética recursiva que sea consistente es incompleta.
En toda teoría aritmética recursiva consistente T, la fórmula Consistente T no es un teorema.
Joined Dec 2019
Cualquier teoría aritmética recursiva que sea consistente es incompleta.
En toda teoría aritmética recursiva consistente T, la fórmula Consistente T no es un teorema.
