Innen matematikk og logikk brukes aksiomatisk metode. Et sett med grunnregler vedtas og blir definisjoner (en sirkel er rund) eller aksiomer (a+b=b+a), og ved å ikke fravike systemet og unngå selvmotsigelser, bevares sannheten. Noen fagfelt, som astrofysikk, der eksperimentering er vanskelig, og partikkelfysikk, der observasjon er vanskelig, baserer seg i stor grad på forutsigelser som er utledet matematisk under forutsetning at formulerte lovmessigheter beskriver naturen korrekt.