Herbrand universes

== English == === Noun === Herbrand universes plural of Herbrand universe