海尔勃朗全域

【计】 Herbrand universe

海的英语翻译：

a great number of; brine; extra large; fishpond; sea
【法】 mare; ocean; sea

尔的英语翻译：

like so; you

朗的英语翻译：

bright; loud and clear

全域的英语翻译：

macrocosm