This post is also available in: Spanish


An axiomatic system is said to be consistent if one cannot deduce contradictory truths from it. Consistency is a crucial property of an axiomatic system since, in classical logics, being able to prove a statement and its opposite allows one to prove anything else. However, consistency is impossible to prove in numerous axiomatic systems and must be taken for granted.

Share and Enjoy:
  • Digg
  • Facebook
  • Yahoo! Buzz
  • Twitter
  • Google Bookmarks
  • Google Buzz
  • Meneame
  • Reddit
  • RSS

Leave a Reply

You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>