Completitud

This post is also available in: Inglés

Completitud

Un sistema axiomático es completo si cualquier verdad compatible con él es demostrable dentro del sistema, es decir, sin usar ninguna herramienta externa. Por ejemplo, la aritmética sería completa si todas las verdades aritméticas pudieran demostrarse usando solo sus axiomas y reglas de inferencia.

Share and Enjoy:
  • Digg
  • del.icio.us
  • Facebook
  • Yahoo! Buzz
  • Twitter
  • Google Bookmarks
  • Bitacoras.com
  • 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>