Thread: Proof System questions (Logic)

So, I got two questions that I'm not sure how to approach

1. Give an example of a proof system with no theorems other than its logical axioms
2. Give an example of a proof system which does not satisfy the Soundness Theorem. Prove your example is correct.

If anyone can give a direction that will be great. Thanks in advance.

Nevermind. I got it.