Ilmu formal

Ketika ilmu alam dan ilmu lainnya seperti ilmu sosial, ilmu perilaku, dan ilmu kognitif yang mencari teori ilmiah dengan mengandalkan pengamatan yang bertujuan memprediksi secara tepat dan akurat untuk menjelaskan fenomena eksternal dunia, ilmu formal bekerja dengan sifat internal dari sistem formal, terutama definisi dari suatu istilah dan peraturan yang mengatur suatu kesimpulan.