Redirecting to Gödel's proof