考虑一个条款(分离属于字面量)从一阶逻辑公式在里面Skolemized形式
然后是一个原子语句从以下方面获得通过用元素替换所有变量的赫布兰德宇宙 属于被称为基态原子。谓词可以构成的所有基态原子的集合符号来自和条款来自被称为赫布兰德基地.
此条目由贡献亚历克斯萨哈罗夫(作者链接)
更多需要尝试的事情:
亚历克斯·萨哈罗夫“地面原子”摘自数学世界--Wolfram Web资源,创建人埃里克韦斯特因.https://mathworld.wolfram.com/GroundAtom.html