 Theorem. If the domain \(A\) is infinite, then a sentence \(S\) of the language \(L\) is correct in \(A\) if and only if \(S\) is deducible from \(T\) and the sentences saying that the number of elements of \(A\) is not any finite number. 