the mind > mental capacity > philosophy > mathematical philosophy > [adjective] > of other theories or systems (5)
Characterized by, or relating to, finitism.
Logic and Mathematics. Of a formal logical or mathematical system: containing true propositions for which no proof of validity is possible using…
of, relating to, or involving proof theory.
Of, relating to, or involving model theory (model theory, n. 1c).