 Considered objectively, a mathematical theory itself becomes a mathematical object. It has an intrinsic structure, in which complex concepts are ultimately composed of simple ones, and propositions are ordered according to their relations of objective dependence, beginning with the axioms. The goal of foundational research, as he then saw things, is to discover and display this objective order (Bolzano 1810, II, § 2).