I'm not sure what you mean by "see", but there are computer verified proofs of Gödel's theorems: https://en.wikipedia.org/wiki/Gödel%27s_incompleteness_theor....