So does Gödel. Maybe it was a joke? Unclear.