Diferencia entre revisiones de «Axiomas de Zermelo-Fraenkel»

Contenido eliminado Contenido añadido
SeroBOT (discusión · contribs.)
m Revertidos los cambios de 85.60.203.198 (disc.) a la última edición de Papa de Timmy
Etiqueta: Reversión
→‎Introducción: Corregí una dato incorrecto, Gauss y pitágoras nunca conocieron la Teoría de Conjuntos en vida, y sería absurdo que ellos hayan rechazado los trabajos de Cantor
Etiquetas: Edición desde móvil Edición vía web móvil
Línea 6:
La [[teoría de conjuntos]] es una rama de la [[matemática]] relativamente moderna cuyo propósito es estudiar unas entidades llamadas [[conjunto]]s, aunque otra parte de esta teoría es reconocida como los fundamentos mismos de las matemáticas. La teoría de conjuntos fue desarrollada por el matemático alemán [[Georg Cantor]] a finales del [[siglo XIX]] a partir de ciertas conclusiones hechas por él mismo al reflexionar en unos detalles de las [[Serie de Fourier|series trigonométricas de Fourier]]. La teoría de conjuntos fue expuesta por Cantor en una serie de artículos y libros, de los cuales pueden destacarse sus ''Beiträge zur Begründung der transfiniten Mengenlehre''.
 
El propósito de Cantor era proporcionar un método para lidiar con asuntos relacionados al [[Infinito potencial e infinito actual|infinito actual]], un concepto que fue rehuido y rechazado por algunos matemáticos ([[Pitágoras]], [[Carl Friedrich Gauss|Gauss]], [[Leopold Kronecker|Kronecker]]) por considerarlo sin significado. Ciertamente Cantor tuvo éxito, si bien su teoría debía ser precisada y sometida a un sistema axiomático, un proyecto que luego fue llevado a cabo principalmente por [[Gottlob Frege|Frege]], [[Bertrand Russell|Russell]], [[Ernst Zermelo|Zermelo]], [[Albert Thoralf Skolem|Albert Skolem]] y [[Adolf Fraenkel]].
 
Cantor partió de la convicción ''[[Platonismo(matemáticas)|platonista]]'' de que era posible “comprimir” una colección o conjunto de objetos y considerarla como un todo (o mejor dicho, como una sola entidad), y al parecer, aceptando implícitamente los supuestos siguientes: