|
2006-10-12 11:52:12
盼盼
无机兄,跟上下文没有关系的,只是随口说的几个理论。
----------------------
每个自然数都有后继,这句倒很好懂
逻辑上的实体0。搞不明白-_-||
omega-consistent theory
The correct title of this article is omega-consistent theory (or ω-consistent theory). The initial letter is capitalized due to technical restrictions.
In mathematical logic, an omega-consistent (or ω-consistent) theory is a theory (collection of sentences) that is not only consistent (that is, does not prove a contradiction), but also avoids proving certain infinite combinations of sentences that are intuitively contradictory.
Specifically, if T is a theory that interprets arithmetic (that is, there is a way to understand some of its objects of discourse as natural numbers), then T is omega-inconsistent if, for some property P of natural numbers (definable in the language of T), T proves P(0), P(1), P(2), and so on (that is, for every natural number n, T proves that P(n) holds), but T also proves that there is some natural number n such that P(n) fails. This may not lead directly to an outright contradiction, because T may not be able to prove for any specific value of n that P(n) fails, only that there is such an n.
T is omega-consistent if it is not omega-inconsistent.
数学好深奥啊,呜呼哀哉,南无阿弥陀佛~~~~~
|