Soundness for $T$ $\iff$ (Ω-satisfiable $\Rightarrow$ Ω-consistent) · Prove2Me

P

Initializing...

Soundness for $T$ $\iff$ (Ω-satisfiable $\Rightarrow$ Ω-consistent) · Prove2Me