Como mínimo, usted debe entender que las declaraciones del teorema de completitud, los teoremas de incompletitud, y el Lowenheim-Skolem teorema. Esto incluye todas las definiciones básicas de la lógica formal y el modelo de la teoría, modelos, teorías, satisfacción, elementarity, primaria subestructuras, funciones de Skolem, y más. Por supuesto, como en cualquier área de matemáticas, es fácil engañar a sí mismo en el pensamiento de que usted entiende estas cosas, cuando realmente no lo necesitas. Usted puede obtener una comprensión más profunda mediante la lectura de las pruebas, que constituyen los elementos esenciales de muchos lógica de los textos.
No sé el Chiswell-Hodges libro, pero echando un vistazo a la tabla de contenidos, que parece que no acaba de cubrir todos los requisitos previos. (Sin embargo, puede ser un libro muy bueno para lo que hace de cubierta.) Enderton del libro (en lógica) es considerado un clásico, y tiene aproximadamente el derecho contenido, incluidas las correspondientes definiciones de modelo de la teoría.
General modelo de la teoría es una buena cosa a tener una comprensión de cuando se va en la teoría de conjuntos, pero no creo que va a hacer el "Modelos de la Teoría de conjuntos", en el capítulo de Jech una brisa; los modelos de la teoría de conjuntos son bastante contra-intuitivo a primera vista, y requieren una gran cantidad de pensar por su propia cuenta.
Estoy de acuerdo con Arthur Fischer en la pregunta que usted vinculados a; Jech no es un gran libro para una incipiente conjunto teórico para aprender el campo de. Se trata más bien de una referencia de un texto. Sin embargo, creo que las observaciones anteriores se aplican a prácticamente cualquier introducción a la moderna teoría de conjuntos.
