Consistency proof facts for kids
In mathematics, a theory is called consistent, if does not contain any contradictions. In the context of predicate logic it is impossible to deduce both 
as well as 
from 
See also
In Spanish: Consistencia (lógica) para niños
All content from Kiddle encyclopedia articles (including the article images and facts) can be freely used under Attribution-ShareAlike license, unless stated otherwise. Cite this article:
Consistency proof Facts for Kids. Kiddle Encyclopedia.