The claim conflates the set-theoretic machinery needed for arbitrary structures with the logical equ...