Degenerate instance of [ax-12] where bundled variables \( x \) and \( y \) have a common substitution. Uses only Tarski's FOL axiom schemes. (Contributed by NM, 13-Apr-2017.)
Degenerate instance of [ax-12] where bundled variables \( x \) and \( y \) have a common substitution. Uses only Tarski's FOL axiom schemes. (Contributed by NM, 13-Apr-2017.)