[FOM] 2nd order logic and infinite Set

[dorin alex]

Sirs !

(FOM Digest, Vol 38, Issue 8) Joseph Shipman wrote:

In some formulations of "2nd order logic", the existence of an infinite
set follows as a logical truth.


   Please say where It can be read?

Respectfully yours
Alexander A. Dorin
alex_dorin at rambler.ru