P
Initializing...
Completeness for $T$ $\iff$ (Ω-consistent $\Rightarrow$ Ω-satisfiable) · Prove2Me