Abbreviating proofs by adding new axioms (1971)

by A EHRENFEUCHT, J MYCIELSKI
Venue:Bull. Anier. Math. Soc