Set Theory and Logic

Analizând capitolul dedicat secvenței numerelor naturale și Lemei lui Zorn, observăm imediat intenția autorului Robert R. Stoll de a prezenta matematica nu ca pe o sumă de discipline izolate, ci ca pe un sistem unitar. Set Theory and Logic este rezultatul rafinării cursurilor susținute la Oberlin College, fiind concepută special pentru a facilita tranziția studenților către fundamentele abstracte ale domeniului. Găsim în această carte o abordare progresivă: se pornește de la conceptul lui Cantor despre mulțimi și relații, avansând spre construcția riguroasă a numerelor reale și, în final, spre calculul propozițional și al predicatelor.

Această ediție revizuită de la Dover Publications Inc. se distinge prin claritatea expunerii, evitând tehnicalitățile excesive în favoarea unei înțelegeri conceptuale profunde. Putem afirma că textul extinde cadrul propus de Elements of Set Theory de Herbert B. Enderton prin accentul pus pe reconstrucția axiomatică a sistemelor numerice, nu doar pe teoria pură a mulțimilor. În timp ce alte manuale se concentrează strict pe formalism, Robert R. Stoll utilizează logica și mulțimile ca instrumente de lucru pentru a demonstra cum operațiile matematice pot fi ordonate logic. De asemenea, lucrarea oferă o perspectivă complementară față de Axiomatic Set Theory de Patrick Suppes, fiind mai accesibilă pentru cei care doresc o introducere care să prefațeze tratatele standard de metamatematică.

Structura narativă a cursului este logică și riguroasă, culminând cu o introducere în teoriile de ordinul întâi. Deși logica simbolică ocupă un loc central abia spre finalul volumului, prezența algebrei booleene și a structurilor algebrice (inele, domenii de integritate, câmpuri) oferă cititorului o imagine de ansamblu asupra fundamentelor pe care se sprijină științele moderne, inclusiv mecanica cuantică.