Kurt Gödel: Rozdiel medzi revíziami