... is¹

In all the logical formulas in this note, axioms of the form

$(\forall \,x,y)[p(x,y) \, \supset \,[(\exists \,z) q(x,z)]]$

are abbreviated

$p(x,y) \, \supset \,q(x,z)$

In addition, implication outscopes conjunction.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.