 An easy way to obtain a Henkin model \((\mm,\G)\) is to take a transitive model N of ZFC such that \(\mm\in N\) and let \(\G\) consist of all relations and functions on M that are elements of N. It follows from \(N\models ZFC\) that \((\mm,\G)\) is a Henkin model.