ax17
Axiom.
Axiom of Distinct Variables (2)
Arguments:
(sv),
(pr),
Distinct variable conditions:
(
,
),
Assertions:
(
)
(sv), 
(pr), (sv), (pr), , ), 
)