全套地面原子可以由谓词符号从条款在里面Skolemized的形式 和来自赫布兰德宇宙 属于.
此条目由贡献亚历克斯萨哈罗夫(作者链接)
更多需要尝试的事情:
亚历克斯·萨哈罗夫“赫布兰德基地”摘自数学世界--Wolfram Web资源,创建人埃里克韦斯特因.https://mathworld.wolfram.com/HerbrandBase.html