FOM: Conservative extensions and consistency: reply to Tragesser

[Martin Davis]

I believe the term "conservative extension" was first used by Paul Rosenbloom:

 Rosenbloom, Paul C.
       The elements of mathematical logic. [1st ed.
       New York] Dover Publications, 1950.
       (Series: The Dover series in mathematics and physics)
                             
Martin