“Gödel's second incompleteness theorem states that no sufficiently strong and consistent theory can ever prove its own consistency.”