相容性独立性完全性

-  - 1.相容性：不允许从公理系统推出矛盾2.独立性：每一个公理不可由其它公理 推出3.完全性：该形式系统中所