Debería haber alguna distinción. Los axiomas no solo se presumen verdaderos, sino que se usan para hacer conclusiones (llamados teoremas en un contexto formal). Pero hay muchos paradigmas diferentes en filosofía, física e incluso matemática. Algunos tienen presunciones más fuertes, otros tienen más débiles y otros son simplemente incompatibles. Las cosas más universales son declaraciones puramente formales “sobre algo específico”.
Por otro lado, hay declaraciones sobre la existencia o la imposibilidad que se cree que son ciertas, pero sin ninguna esperanza realista por demostrar. Desde una perspectiva formalmente lógica, estas son, por lo general, meta declaraciones. Un ejemplo de lógica matemática:
La aritmética formal es una teoría consistente. (En otras palabras: no hay contradicción).
Creemos en ello porque el principio de explosión arruinaría gran parte de las matemáticas en el caso desafortunado de que una contradicción se derivara de los axiomas de la aritmética formal. Pero también sabemos por qué nuestro inventario matemático no sirve para verificar esta suposición.
- ¿Cómo se deciden los sitios de prueba de armas nucleares?
- ¿Por qué existen los colores?
- ¿Cuáles son algunos avances tanto en humanidades como en ciencia que se acreditan a la persona equivocada?
- ¿Por qué existe el par?
- ¿La IUPAC aprueba nombres para cada elemento químico? ¿Cuál es el nombre de oro de la IUPAC?