Gödel Background