En lugar de discutir la fuerza de nuestro sistema deductivo como lo hemos hecho en los dos últimos capítulos, ahora discutiremos la fuerza de los conjuntos de axiomas. En el capítulo 4 introduciremos ...En lugar de discutir la fuerza de nuestro sistema deductivo como lo hemos hecho en los dos últimos capítulos, ahora discutiremos la fuerza de los conjuntos de axiomas. En el capítulo 4 introduciremos la idea de codificar los enunciados de\mathcal{L}_{NT} como términos y demostraremos que cierto conjunto de axiomas no lógicos es lo suficientemente fuerte como para probar algunos hechos básicos sobre los números que codifican esas declaraciones.
