I was responding directly to:

"I don't really understand why the entire known mathematics is not automatically proven yet."

Which I believe is going to be related to English (or whatever natural language) if we really want to talk about what is meant by "entire known mathematics".

edit: I mean it's a crazy proposal, so you get a crazy response. I think somewhat intuitively we know you can't prove everything.