Gödel Incomplete Background