ω-consistent theory
Mathematical theory / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Omega-consistency?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
In mathematical logic, an ω-consistent (or omega-consistent, also called numerically segregative)[1] theory is a theory (collection of sentences) that is not only (syntactically) consistent[2] (that is, does not prove a contradiction), but also avoids proving certain infinite combinations of sentences that are intuitively contradictory. The name is due to Kurt Gödel, who introduced the concept in the course of proving the incompleteness theorem.[3]