axiomatització

f

Filosofia

Matemàtiques

Utilització, per part d’una ciència, d’una estructura formalitzada o sistema purament abstracte i formal, que parteix d’uns axiomes o postulats i s’expressa en un simbolisme el més precís possible (axiomàtica).

L’axiomatització té la seva aplicació sobretot en lògica i matemàtiques. L’axiomatització d’una ciència pot ésser feta de diverses maneres, puix que per a cada una hi ha diversos sistemes d’axiomes equivalents. L’elecció d’un sistema d’axiomes o altre depèn del fi de base (crítica dels fonaments, exposició didàctica, aplicacions tècniques, etc.). Una de les tendències de la lògica actual és de descobrir els mètodes més precisos d’axiomatització i una teoria completa dels símbols lògics per poder fomalitzar tant com sigui possible tots els sistemes. L’axiomatització d’una teoria pressuposa tenir-ne un coneixement força complet per a poder-ne destriar els elements essencials, dels quals poden ésser deduïts tots els altres.