Abbreviating proofs by adding new axioms (1971)

by A Ehrenfeucht, J Mycielski
Venue:Bulletin of the American Mathematical Society