Redirecting to Gödel's incompleteness theorems