命题A与非A都能导出叫系统“不相容”;命题A与非A都不能导出叫系统“不完全”;每一个公理不可由其它公理推出叫系统的“独立性”