Lista de axiomas - List of axioms

Esta es una lista de axiomas como se entiende ese término en matemáticas , por la página de Wikipedia. En epistemología , la palabra axioma se entiende de manera diferente; ver axioma y evidencia propia . Los axiomas individuales casi siempre forman parte de un sistema axiomático más amplio .

ZF (los axiomas de Zermelo-Fraenkel sin el axioma de elección)

Junto con el axioma de elección (ver más abajo), estos son los axiomas estándar de facto para las matemáticas contemporáneas o la teoría de conjuntos . Se pueden adaptar fácilmente a teorías análogas, como la mereología .

Véase también la teoría de conjuntos de Zermelo .

Axioma de elección

Con los axiomas de Zermelo-Fraenkel anteriores, esto constituye el sistema ZFC en el que la mayoría de las matemáticas son potencialmente formalizables.