The purpose of this paper is to develop an analytic foundation—called Constraint Theory—for the systematic determination of mathematical model consistency and computational allowability. Constraint Theory's primary application is the more efficient construction and use of heterogeneous, multidimensional mathematical models, especially when interdisciplinary technical teams, system analysts, and managers are involved.