In the context of model theory, however, this proof is somewhat more difficult.
モデル理論の文脈では、しかしながら、この証明はより困難となる。