Ang isa ay tumutukoy sa isang proyekto ng pagpopormal ng isang paksang pampilosopiya , katulad ng estetika , etika , lohika , metapisika , o teolohiya , na nasa isang pagpapahiwatig ng mas tumpak at mas mahigipit na kaanyuan , katulad halimbawa na ng mga gawain ng mga teologong iskolastiko , o ang masistemang mga layunin nina Leibniz at Spinoza.
