Doğrulama: Bir varsayımın (önermenin) doğru olup olmadığını belirlemek için yapılan deneysel ve mantıksal işlem.
Formel bilim: İnsanın mantıklı düşünmesi ve olgusal bilgilerini düşüncenin formları olarak ifade etmesi üzerine kurulu mantık ve matematik bilimleri.