El Teorema de la Completitud termina nuestro vínculo entre deducibilidad e implicación lógica. El Teorema de la Compacidad es nuestro primer uso de ese vínculo. En cierto sentido, lo que hace el Teore...El Teorema de la Completitud termina nuestro vínculo entre deducibilidad e implicación lógica. El Teorema de la Compacidad es nuestro primer uso de ese vínculo. En cierto sentido, lo que hace el Teorema de la Compacidad es centrar nuestra atención en la finitud de las deducciones, y entonces podemos comenzar a usar esa finitud en nuestro beneficio.
