In this sense, formal sciences are both logically and methodologically a priori, for their content and validity are independent of any empirical procedures.
Dalam pandangan ini, ilmu formal adalah bersifat a priori secara logika dan metodologi, dengan isi dan validitasnya independen terhadap setiap prosedur empiris.