#gödel #incompleteness theorems #self-reference #formal systems #system limits #kurt gödel