程序自由的价值。正如对平等的追求一样，对自由的追求首先构成契约程序自身独立的价值，它能激发人们的自由意识，培育人们的自由观念，对整个社会人们的行为模式、价值观念产生影响。契约的“有关人的自由意志的理论，把人从对神的依附状态中解放出来，摆脱。了人对神的奴仆地位，使人们有独立的人格，完成了人类的第二次解放”。所以，  自由的价值应尽可能多地渗入契约程序中，使契约程序成为自由的传播者、自由的化身。决定契约程序奉行自由原则的另一个因素是保障当事人确定契约内容自由的需要。契约内容自由包括同准订立契约以及订立什么样的契约。契约内容的自由源于经济上对自由的要求。自由经济要求每个主体在经济活动中都是自由的，任何人都不受他人的约束，他们可以自由地让出商品、自由地购人商品，从而在独立主体之间形成自由竞争，通过竞争使商品的价格与价值相适应，实现供求平衡与资源的优化配置。所以保障主体决定契约内容的自由对于经济和社会的发展具有重要的意义。

　　契约程序自由具体体现在以下四个方面：

　　（1）创立程序的自由。指当事人可自由地决定是否进入某一程序或设立某一程序。“合同原则上只须当事人双方一致的意思表示即可成立，特定形式的要求仅是例外，或者说是一种反常现象”。这里的“形式”同样可作程序理解，创立程序的自由首先指订立契约的自由，它包括进入订约程序的自由及订约程序中活动的自由。其次，创立程序的自由还包括发起其他程序的自由，因为契约程序除了订约程序之外，还有诸如签证程序、公证程序、担保程序、解约程序、同时履行程序等。其中签证、公证等程序，本来是订约程序的一部分，但因其不是订约必经的程序，所以将其独立出来，作为与订约程序并列的程序。作为完整的契约程序，有些程序是必经的，如履约程序；有些程序不是必经的，它的设置与否由当事人意志决定。  对于必经的程序，当事人的自由主要体现在这些程序的活动中，而不是程序的设置与否上。对于非必经的程序。当事人的自由既体现在程序的活动中，更体现在程序的设置与否上。非必经的程序一般是为当事人的利益服务的，如公证程序是为了保证合同的真实性，防止任何一方因受欺诈而遭受损失。又如担保程序是为了加大违约方的违约成本，提高交易的安全性，更好地保护债权人的利益。

　　（2）终止某一程序的自由。程序是为实体利益而设的，如果某一已经创立的程序在运行过程中变成不再是维护实体利益所必需，当事人便应被允许废止之，否则当事人的利益便难以得到维护。事物是变化的，人的预测能力是有限的，有时，创立某一程序时该程序对当事人是有利的，但当该程序在运行过程中、尚未结束时，客观情况发生了变化，它变得不再是维护当事人实体利益所必需，抑或有害于当事人，背离了当事人的订约目的。契约程序自由允许当事人终止该程序，便可以使当事人因势制宜，免遭损害。

　　终止程序不同于撤销程序，前者指某一程序已经开始、尚未结束，由于客观原因的变化而提前结束该程序，撤销则指某一程序已经结束、作为程序的结果已是既成事实，当事人出于某种因素而否定该程序的结果，让事物回复到程序创立前的的状态。如公证程序，若当事人于公证机关发给公证书前决定不再公证，便是程序终止；若当事人于获得公证书后又约定否定公证的效力，便是程序的撤销。

　　（3）在契约程序中活动选择的自由。如果仅能自由地决定是否进入某一程序，而一旦进入该程序就必须按步就班，不能任意选择活动，则同样是不完全的自由，不利于对当事人实体权利的保护。如订约程序中，要约人可以自由地选择要约的形式，是口头的还是书面的，是拍卖还是招标或其他形式；作为承诺的一方拥有同样的自由。当然，当事人必须受到特定形式的某些限制，如要约人采用招标方式，则承诺人须以投标方式应之。