Et er en betegnelse på et kunnskapsområde hvor fakta baseres på aksiomer (forutsetninger) eller deduseres fra disse eller tidligere deduserte fakta. Sannhetsgehalten i et utsagn som omhandler området, vil kunne avgjøres ut fra i hvilken grad aksiomene systemet baserer seg på eller tidligere deduserte slutninger motsier påstanden.