Ένα σύστημα δεν μπορεί να είναι και συνεπές και πλήρες. Ένα σύστημα μπορεί να είναι είτε πλήρες και ασυνεπές είτε συνεπές και ελλιπές. Kurt Gödel, 1906-1978, Τσέχος μαθηματικός