下面哪个描述不属于这三个特点之一（）A完备性，即所有能够从该形式化系统推导出来的命题，都可以从这个形式化系统推导出来