ax9

Axiom. Axiom of Existence

Description:

The metamath ax-9 (without the distinct variable condition) is proved in ax9-sv.

Arguments:

(sv), (st),

Distinct variable conditions:

(, ),

Assertions:

()