# Unknown Variable

An unknown variable is a Free Variable such that the existential quantification of it yields a formula that is true. It represents a specific (but unknown) value.

$x+1=2$ is really $∃x•x+1=2$

- $x$ is an unknown variable because not all values of $x$ would satisfy this formula