Essentially, the theorem is proved by first proving that in any sufficiently advanced system, it is always possible to make meta-mathematical statements (this is done through Godel numbers). And if you can do that, you can, within the system, formulate the statement "This system is inconsistent", which is basically an Epimenides paradox.