公理系统性质一个公理系统称为自洽（或称相容、一致性），如果它没有矛盾，也就是说没有从公理同时导出一个命题及其否定的能力
在一个公理系统中，一个公理被称为独立的，若它不是一个从系统的其它公理可以导出的定理
一个系统称为独立的，若它的每个公理都是独立的
虽然独立性不是一个系统的必要需求，自洽性却是必要的
一个公理系统称为完备的，若每个命题都可以导出或其否定可以导出
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
