Et er et system som bygger på en rekke aksiomer, altså forutsetninger, som tilsammen danner grunnlaget for et logisk system eller en matematisk teori. Innenfor matematikk og de eksakte vitenskapene streber man etter systemer som er bygd opp på denne måten.