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.