“Natural” representations and extensions of Gödel's second theorem 350