 A natural attempt to get a Henkin model \((\mm,\G)\) would be to let \(\G\) consist of first order definable relations and functions on \(\mm\). However, in this way we get only Arithmetic Comprehension, not the full Comprehension Axiom.