W is a set of logical formulae, called the background theory, that formalize the facts that are known for sure.
W {\displaystyle W} 是逻辑公式的集合，叫做背景理论，形式化的是确实已知的事实。