That the proof system and the model system determine the same logic as each other.

That every argument has either a proof in the proof system or a counterexample in the model system.

That the model system does not include any counterexample to any argument that has a proof in the proof system.

That the logic determined by the proof system is weaker than the logic determined by the model system.