Encyclopedia > Π> Ω-consistent theory
Ω-consistent theory
In mathematical logic, an ω-consistent (or omega-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.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)