En lógica matemática , una teoría de conjuntos alternativa es cualquiera de los enfoques matemáticos alternativos al concepto de conjunto y cualquier alternativa a la teoría de conjuntos estándar de facto descrita en la teoría de conjuntos axiomática por los axiomas de la teoría de conjuntos de Zermelo-Fraenkel .
Teorías de conjuntos alternativas
Las teorías de conjuntos alternativas incluyen: [ 1 ]
- La teoría de conjuntos alternativa de Vopěnka
- teoría de conjuntos de Von Neumann-Bernays-Gödel
- teoría de conjuntos de Morse-Kelley
- Teoría de conjuntos de Tarski-Grothendieck
- teoría de conjuntos de Ackermann
- teoría de tipos
- Nuevas Fundaciones
- teoría de conjuntos positivos
- teoría de conjuntos internos
- teoría de conjuntos de bolsillo
- Teoría ingenua de conjuntos
- S (teoría de conjuntos)
- teoría de conjuntos de doble extensión
- teoría de conjuntos de Kripke-Platek
- Teoría de conjuntos de Kripke-Platek con urelementos
- teoría de conjuntos de Scott-Potter
- Teoría constructiva de conjuntos
- teoría de conjuntos de Zermelo
- teoría general de conjuntos
- Teoría de conjuntos de Mac Lane
Véase también
Notas
- ↑ Holmes, M. Randall. "Alternative Axiomatic Set Theories" . Stanford Encyclopedia of Philosophy . Consultado el 17 de enero de 2020 .
Categorías :
- Sistemas de teoría de conjuntos
- Listas relacionadas con las matemáticas