Ω-consistent theory
id:
consistent-theory-305-2059252
title:
Ω-consistent theory
text:
In mathematical logic, an ω-consistent theory is a theory that is not only (syntactically) consistent, 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.
brand slug:
wiki
category slug:
encyclopedia
description:
Mathematical theory
original url:
https://en.wikipedia.org/wiki/%CE%A9-consistent_theory
date created:
date modified:
2024-01-30T12:31:34Z
main entity:
{"identifier":"Q293137","url":"https://www.wikidata.org/entity/Q293137"}
image:
fields total:
13
integrity:
14