U = {c, fc, ffc, fffc, ...}

fc → fc, ffc → ffc, ...

c → c

Herbrand's theorem

Herbrandization

Herbrand interpretation

; Flum, Jörg; Thomas, Wolfgang (1996). Mathematical Logic. Springer. ISBN 978-0387942582.

Ebbinghaus, Heinz-Dieter