No se ha añadido ninguna twiki todavía.

La propiedad de un sistema formal por la que se llama completo si todo enunciado lógicamente verdadero para el sistema es también deducible de sus axiomas (completud denominada débil). Según el teorema de Gödel, la lógica de enunciados y lógica de predicados (de primer orden) son completas en sentido débil.