参考答案：

形式化的公理系统具有三个基本原则：

一是完备性，指体系中所有的定理都可以在这一公里系统中得到证明；

二是无矛盾性，指在同一系统中不允许得出两个矛盾的命题；

三是独立性，指系统中的公理没有一个是可以省略的。