Diferi inter la revizi di Kurt Gödel