矛盾推出一切――以说谎者悖论为例，论引入矛盾对形式系统证明能力的极大增强作用

摘要

本文为解决传统形式系统证明能力具有上限的缺陷，革新式地在形式系统内引入矛盾. 引入矛盾后，系统内所有命题立刻可以被极其简短的证明过程证明为真.

关键词