摘要： 在概述弱公理化真理论与无类型的弱公理化真理论ＰＵＤＴ的基础上，证明无类型去引号理论，即正一致去引号理论（ｐｏｓｉｔｉｖｅｕｎｉｆｏｒｍｄｉｓｑｕｏｔａｔｉｏｎａｌｔｈｅｏｒｙ，简记为ＰＵＤＴ）是一种正真（ｐｏｓｉｔｉｖｅｔｒｕｔｈ）的弱公理化真理论。对ＰＵＤＴ进行适当扩充，可以得到在经典逻辑上不相容，而在直觉主义逻辑上相容的公理化真理论。但是，这类公理化真理论并不是理想的真理论。