Herbrand universe[edit]

The Herbrand universe serves as the universe in the Herbrand structure.

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

$fc \to fc, ffc \to ffc, ...$

c → c

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

$_$_$DEEZ_NUTS#0__titleDEEZ_NUTS$_$_$

$_$_$DEEZ_NUTS#0__subtitleDEEZ_NUTS$_$_$

$_$_$DEEZ_NUTS#0__call_to_action.textDEEZ_NUTS$_$_$