Comments by "Taxtro" (@MrCmon113) on "Gödel's Incompleteness Theorem - Numberphile" video.

  1. It's not language. The proof is just presented in a poor way. It is rigorous and it's the same kind of proof that also shows that there is more real numbers than natural numbers or that the halting problem is undecidable.
    1