Syntax | Terms | Equations | Horn formulas | Universal formulas | First-order formulas | Theories
A list of universal formulas.
| at most $n$ elements | $\forall x_0,\ldots,x_n\ (x_0=x_1\mbox{ or }x_0=x_2\mbox{ or }\ldots\mbox{ or }x_{n-1}=x_n)$ |
| integral | $\forall x,y\ (x*y=0\implies x=0\mbox{ or }y=0)$ |
