Sei S = { 0 , 1 , + , ⋅ , ≥ } ∪ V {\displaystyle {}S=\{0,1,+,\cdot ,\geq \}\cup V} die Symbolmenge für einen angeordneten Körper und f {\displaystyle {}f} ein einstelliges Funktionssymbol. Formuliere über S ′ = S ∪ { f } {\displaystyle {}S'=S\cup \{f\}} die Aussage des
