Siehe "Natural Models of Set Theroy," von R.Montague und R. Vaught, Fundamenta Mathematicae 47 (1959) 219--242, insbesondere Satz 6.8 A.R.D.Mathias