Alternatively , intuitionistic logic may be axiomatized using formula _ 86 as the set of basic connectives , replacing the last axiom with
Alternatively , basic logic may be axiomatized using formula _ 86 as the set of intuitionistic connectives , replacing the last axiom with