El presente trabajo tiene el propósitode hacer una introducción alateoría de modelos y realizar la demostración del teorema de Löwenheim-Skolem, el cual se puede considerar uno de los teoremas fundamentales de la teoría ...