Talk:Ehrenfeucht–Mostowski theorem