#metalogic

? Soundness and completeness of a logical system: what exactly is being proved?

I'm stuck on vocabulary, having no formal training in logic. I've read that a logical system can be sound and complete: everything provable is true, and everything true is provable. Fine. But then I read that Gödel proved a completeness theorem in…