This paper presents a theoretical framework for the dynamics and control of underactuated mechanical systems, defined as systems with fewer inputs than degrees of freedom. Control system formulation of underactuated mechanical systems is addressed and a class of underactuated systems characterized by nonintegrable dynamics relations is identified. Controllability and stabilizability results are derived for this class of underactuated systems. Examples are included to illustrate the results; these examples are of underactuated mechanical systems that are not linearly controllable or smoothly stabilizable.