axiom

Ett axiom (av grekiska axioma) är en grundsats som kan accepteras utan bevis, en sats som är självklart sann och inte själv behöver bevisas. Dessa självklarheter utgör logiska systems grund, som tillsammans kan bilda ett axiomsystem. Man kan härleda nya satser från dessa axiomsystem.