El sistema de axiomas de ZFC

• González López, Víctor ^[1]
  1. [1] Universidad de Murcia

     Universidad de Murcia

     Murcia, España

     
• Localización: TEMat: Divulgación de trabajos de estudiantes de matemáticas, ISSN-e 2530-9633, Nº. 2, 2018, págs. 45-52
• Idioma: español
• Enlaces
  • Texto completo
• Resumen
  • español

    En este artículo realizamos una introducción al sistema de axiomas de Zermelo-Fraenkel, complementado con el axioma de elección, base de la teoría de conjuntos. Para ello, comenzaremos exponiendo los axiomas del sistema de Zermelo-Fraenkel, para después introducir el axioma de elección. Hablaremos de la presencia de este en las matemáticas, así como de dos versiones suyas. Finalmente, hablaremos del debate de la consistencia y de una posible alternativa al axioma de elección. Es importante resaltar que no haremos un uso estricto de la lógica de primer orden, ya que nuestro objetivo es presentar y motivar los axiomas, y no hacer un estudio minucioso de ellos en términos lógicos.

  • English

    In this article, we introduce the sistem of axioms of Zermelo-Fraenkel, complemented with the axiom of choice, base of set theory. In order to achieve this, we begin by presenting the axioms of Zermelo-Fraenkel and, after that, the axiom of choice. We talk about the presence of the axiom of choice in mathematics, as well as about a couple of versions of it. Finally, we talk about the debate of consistency and about a possible alternative to the axiom of choice. It is important to emphasise that we do not use first order logic, given that our main purpose is to present and motivate the axioms, and not to make a thorough study of them in logical t rms