[[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)$  |