Ehrenfeucht A., Feferman S. ...