Describir: Algunas implicaciones filosóficas del teorema de Löwenheim-Skolem : reflexiones sobre la teoría de modelos en la teoría de conjuntos de Zermelo-Fraenkel más axioma de elección expresada en lenguaje de primer orden