▪ Συνέπεια και πληρότητα

Ένα σύστημα δεν μπορεί να είναι και συνεπές και πλήρες. Ένα σύστημα μπορεί να είναι είτε πλήρες και ασυνεπές είτε συνεπές και ελλιπές.

Κουρτ Γκέντελ (1906-1978)