Redirecting to Gödel's completeness theorem