Ilmu formal
Karena sifat non-empirisnya, ilmu formal ditafsirkan dengan menguraikan serangkaian aksioma dan definisi dari penyataan (teorema) yang dideduksi. Dengan kata lain, teori dalam ilmu formal tidak mengandung pernyataan sintetis. Semua pernyataan di dalam ilmu formal adalah analitik.