Los axiomas se presentan principalmente en dos tipos diferentes: existenciales y universales. A menudo van junto con las definiciones.
Por ejemplo, un axioma existencial dice que algo existe. En los Elementos de Euclides hay un axioma Elementos de Euclides, Libro I, Postulado 3 que dice que dados dos puntos, C y D , existe un círculo cuyo centro está en el primer punto C y cuya circunferencia pasa por el segundo D. Está precedido por los Elementos de Euclides , Libro I, Definiciones 15-18 que definen círculos, centros, diámetros y circunferencias.
- ¿Cómo puede 0C0 (nCr) ser igual a 1?
- Cómo explicar el momento ajá en matemáticas
- ¿La enseñanza y las habilidades en matemáticas contribuyen al privilegio blanco?
- ¿Cuántos subconjuntos de cardinalidad 12 tiene un conjunto de cardinalidad 20?
- ¿Qué hace que un conjunto cóncavo sea tan especial?
Otros axiomas son universales. Otro ejemplo de Euclides: Elementos de Euclides, Libro I, Postulado 4: todos los ángulos rectos son iguales. Esto está precedido por la definición Elementos de Euclides, Libro I, Definición 10 de ángulos rectos.
Las definiciones no se usan para decir que las cosas existen o que algo es cierto sobre las cosas. Están acostumbrados a que sea más fácil hablar sobre las cosas. Euclides no tenía una palabra para el radio , pero habría facilitado las cosas. Lo llamó una línea desde el centro del círculo hasta la circunferencia.
También pregunta “¿No puedo definir el superconjunto Z + como un conjunto con la identidad multiplicativa ‘1’ y que ‘para cada elemento n, existe otro elemento único n + 1 en Z +’?” La existencia de tal cosa es un axioma. Lo que has propuesto equivale a lo mismo que el axioma del infinito en la teoría de conjuntos. (Es un poco diferente del axioma del infinito, ya que también está poniendo una estructura en el conjunto). Sin el axioma del infinito, un modelo para el resto de los axiomas es uno donde todos los conjuntos son finitos. Eso significa que no puede probarse del resto de los axiomas de la teoría de conjuntos, por lo que debe tomarse como un axioma.