借鉴国内外多位知名学者对线性微分约束可积性条件的论证，论证了非线性微分约束的可积性条件.按照Vacco模型的方法来处理问题，应用拉氏乘子法，将非线性非完整约束方程纳入Hamilton原理的泛函中，经变分运算，并统一泛函变分式中变量的含义，导出Chetaev模型的结果，从而实现了从Vacco模型向Chetaev模型的过渡.并将这一结果退化到线性非完整系统.文章还论证了，正像线性系统是非线性系统的特例一样，完整系统也是非完整系统的一个特例.通过对非完整约束方程的变分式应用可积性条件，推导出Chetaev条件；并且指出，如此应用可积条件，不会使非完整系统变为完整系统.