Proof system soundness and completeness Is a proof system with the single rule of inference {}⊢ φ for all φ **sound** , **complete** , **both** , or **neither**? I think it is sound but I feel like there is a caveat, am I wrong?

It's complete if anyone interested...