He corregido la definición de completud, que se confundía con la de decidibilidad.
--Julio Ostalé 05:07 14 ene 2008 (UTC)[responder]