考慮從一階邏輯語句公式 
的斯柯倫正規化中獲得的子句（析取 文字）
 |
然後，透過將 
的所有變數替換為 
的 Herbrand 域 
的元素而獲得的子句稱為基子句。
基子句
另請參閱
基原子, 基文字, Herbrand 基, Herbrand 域此條目由 Alex Sakharov (作者連結) 貢獻
使用 探索
請引用為
薩哈羅夫, Alex. "基子句." 來自 Web 資源, 由 Eric W. Weisstein 建立. https://mathworld.tw/GroundClause.html