Ένα σύστημα δεν μπορεί να είναι και συνεπές και πλήρες. Ένα σύστημα μπορεί να είναι είτε πλήρες και ασυνεπές είτε συνεπές και ελλιπές.
Kurt Godel, Μαθηματικά · Συστήματα · Αφορισμοί