non-theorem
/nɒnˈθɪərəm/Logic
noun
A proposition or formula that is not provable within a given system.
Origin
1940s; earliest use found in W. V. Quine (1908–2000), philosopher. From non- + theorem.
| 单词 | non-theorem |
| 释义 | non-theorem/nɒnˈθɪərəm/Logic noun A proposition or formula that is not provable within a given system. Origin |
| 随便看 |
英语词典包含243303条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。