 Definition 1 (T-theoreticity)   A term t is theoretical with respect to the theory T, or for short, T-theoretical if and only if any method of determining the extension of t, or some part of that extension, rests on some axiom of T.