axiom

(grek. axi´oma värdering, uppskattning, åsikt, sats, som utan bevis antas vara sann), betecknar vanligen ett självklart sant påstående. I vetenskapliga sammanhang avser man med axiom en grundsats som inte själv är föremål för bevis men som tjänar som utgångspunkt för bevis av andra satser (jfr [[postulat]]). En vetenskaplig disciplin sägs vara axiomatiserad eller vara framställd med användning av en axiomatisk metod när alla använda begrepp explicit definieras med hjälp av ett antal på förhand angivna grundbegrepp och alla påståenden ([[teorem]]) inom disciplinen härleds som logiska konsekvenser från ett antal på förhand angivna axiom. Grundbegreppen och axiomen avgränsar tillsammans vad man kallar ett axiomatiskt system eller en axiomatisk teori. Standardexemplet på ett axiomatiskt system är den grekiska matematikern Euklides geometri (dvs. grundskolans geometri).