简述形式化的公理系统的三个基本原则。
正确答案:
形式化的公理系统具有三个基本原则:
一是完备性,指体系中所有的定理都可以在这一公里系统中得到证明;
二是无矛盾性,指在同一系统中不允许得出两个矛盾的命题;
三是独立性,指系统中的公理没有一个是可以省略的。
一是完备性,指体系中所有的定理都可以在这一公里系统中得到证明;
二是无矛盾性,指在同一系统中不允许得出两个矛盾的命题;
三是独立性,指系统中的公理没有一个是可以省略的。
答案解析:有

微信扫一扫手机做题
简述形式化的公理系统的三个基本原则。
微信扫一扫手机做题