展开 纯粹性和完备性与充要条件