The equations of motion for a mechanical system with nonholonomic velocity constraints are derived using the assumption that the generalized force vector must at each instant annihilate the space of all possible virtual displacements. We show how this assumption is in fact a consequence of more elementary axioms, such as Newton's second law (F = ma) for each particle of the system, or the equat...