# Complete proof system

How do I prove that a proof system is complete? I mean what are the guidelines to such proof?

-
This heavily depends on what kind of proof system it is, and with respect to what kind of semantics is it supposed to be proven complete. You really should include more details. –  Emil Jeřábek Jun 1 '11 at 10:07