ax-gen

Axiom.

Arguments:

x (sv), phi (pr),

Hypotheses:

phi

Assertions:

forallxphi