Pidän tästä teorian teoreettisesta määrittelystä (se auttaa kohtelemaan teorioita tutkittavina olioina ja tuottaa ymmärrystä niiden luonteesta):
Teoria koostuu joukosta mahdollisia ilmauksia (termit - teorian "kieli") ja tämän alajoukosta, joukosta niitä ilmauksia, jotka teoria väittää (teoreemat). Teoria voi olla ristiriitainen. Logiikka on järjestelmä, jolla teorian lähtöoletuksista voidaan johtaa kaikki mahdolliset seuraukset (todistus).