The Weak Completeness of Basic Formal Deductive System UL of Universal Logic

• 形式系统UL的弱完备性