反驳@上观无限 的视频观点（1）

不能存在同时只违反矛盾律又不禁自指的逻辑体系。哥德尔第一不完备定理说的是只要满足一定逻辑运算构造初等数论的，该系统就不能满足完备性和自洽性。 假设任意命题a为真，那¬a也为真，定义p为（a和

¬a都为真），则

¬p

为（a为真

¬a为假

），可得p为真命题，由p为真得

¬p也为真。则得a和¬a不都为真，其中必有一假。所以¬a为真又为假。假设a为假，由排中律得¬a必为真，则a为真又为假。 定义b（命题b为真又为假），则¬b为（命题b不能为真又为假），那么b就是¬a的一种，则b为真又为假，¬b必为真，那样得出b不能为真又为假，所以b只能为假不能为真，否则b真假既处在“叠加态”又处于“塌缩态”，又不符合b。上一段推出排除矛盾律，任意命题只能为真，或者为真又为假，不能出现只能为假不能为真的命题。这样b成为反例，该系统不自洽。QED 所以若要排除矛盾律，必须打破所有逻辑体系，而这样构造不出自指结构。