Axiomatic System

This post is also available in: Spanish

Axiomatic System

An Axiomatic System is a set of statements, called axioms, and some inference rules, usually those of classical logics. The statements are usually taken to be self-evident truths which need not be proved, but in fact they can be anything at all. In the modern view, axioms are just rules for manipulating a set of symbols: interpretation of those axioms and symbols lies outside the system itself.

For more information, visit Wikipedia.

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>