力法计算的基本体系不能是可变体系。