exoconsistency
名词 n.
英文释义
名词 n.
-
Consistency with external elements; semantic compatibility.
— Now, according to the two aspects of Gödoel's theorem, proof of the consistency of arithmetic cannot be represented within the system (there is no endoconsistency), and the system necessarily comes up against true statements that are nevertheless not demonstrable, are undecidable (there is no exoconsistency, or the consistent system cannot be complete).
词形变化
词源
From exo- + consistency.
0 次浏览
数据来源: Wiktionary