Operator konsekwencji: Różnice pomiędzy wersjami

Znane takzetakże w nieco ogólniejszej wersji pod postacią:

Niech <math>X</math> będzie teorią i niech <math>e\not\in X</math> bedziebędzie takie, że dla jakiegokolwiek <math>Y</math> z tego, że <math>e\in\mathbf{Cn}(Y)</math> wynika, że <math>e\in\mathbf{Cn}(Y_0)</math>, dla pewnego skończonego <math>Y_0\subseteq Y</math>. Wówczas istnieje teoria <math>X^\star</math> zawierająca <math>X</math>, dla której <math>e\in\mathbf{Cn}(X^\star\cup\{c\})</math> o ile tylko <math>c\not\in X^\star</math>.