¿Qué es?
No se ha añadido ninguna twiki todavía.
Organización de un campo del saber -una ciencia, o una teoría- a modo de un sistema axiomático o de una teoría axiomática. Una teoría o una ciencia está axiomatizada si se construye a la manera de un sistema deductivo que, partiendo de axiomas permite, mediante inferencias, concluir teoremas Sólo las ciencias que alcanzan un elevado grado de abstracción y sistematización pueden axiomatizarse. Son clásicas la axiomatización de la geometría, hecha por D. Hilbert y la de la aritmética hecha por Peano, así como la del cálculo de lógica de enunciados de Whitehead y Russell, en Principia Mathematica. Además de las matemáticas y la lógica, cualquier ciencia empírica suficientemente desarrollada y sistematizada puede ser también axiomatizada, por entero o en alguna de sus partes. Así sucede, por ejemplo, en la física; Dirac axiomatizó sustancialmente la física cuántica en 1930 y lo mismo hizo von Neumann, tras haberlo hecho con la teoría de conjuntos.