I was reading about logic systems and the following phrase appeared.
any closed expression that is not derivable inside the same system
What is a "closed expression" in this context? What does "closed expression that is not derivable" mean?
$\begingroup$ $\endgroup$
0 
Add a comment |
1 Answer
$\begingroup$ $\endgroup$
A closed expression (or closed formula) refers to a formula that has no free variables [1]. This is also called sentence.
In a logic system, you have a set of axioms, which are sentences, and rules which state how to derive a sentence from this [2]. If a sentence can be derived from the axioms, this means that the axioms entail this sentence. If a sentence is not derivable, it is not entailed by the axioms.
