正规素滤子定理1. Moreover,by the introducing the notion of PUL~*-algebras and constructing the normal prime filter theorem of PUL~*- algebras, the completeness of system PUL~* is proved. 同时,以PUL~*系统的Lindenbaum代数结构