https://tcs.nju.edu.cn/wiki/api.php?action=feedcontributions&feedformat=atom&user=217.122.85.22TCS Wiki - User contributions [en]2026-05-26T14:29:10ZUser contributionsMediaWiki 1.45.3https://tcs.nju.edu.cn/wiki/index.php?title=Consistency_proof&diff=7818Consistency proof2015-11-13T16:40:37Z<p>217.122.85.22: contect -> context</p>
<hr />
<div>In [[mathematics]], a [[theory]] is called '''consistent''', if does not contain any [[contradiction]]s. In the context of [[predicate logic]] it is impossible to deduce both <math> \varphi</math> as well as <math>\neg \varphi</math> from <math>\Phi</math><br />
{{math-stub}}<br />
[[Category:Logic]]</div>217.122.85.22