Sistemul axiomatic Zermelo-Fraenkel

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search

În teoria mulțimilor, sistemul axiomatic Zermelo-Fraenkel, numită după matematicienii Ernst Zermelo și Abraham Fraenkel, este un sistem axiomatic care a fost propus la începutul secolului XX pentru a formula o teorie a unor mulțimi liberă de paradoxuri, cum ar fi paradoxul lui Russell. Astăzi, teoria seturilor Zermelo – Fraenkel, cu axioma alegerii din punct de vedere istoric controversată (AC), este fundamentarea standard a teoriei axiomatice a seturilor și ca atare este fundamentul cel mai comun al matematicii. Teoria de mulțimilor Zermelo–Fraenkel, cu axioma de alegere inclusă, este prescurtată ZFC, unde C înseamnă „alegere”, [1] și ZF se referă la axiomele teoriei de seturi Zermelo – Fraenkel, cu axioma de alegere exclusă.

Există multe formulări echivalente ale axiomelor din teoria mulțimilor Zermelo-Fraenkel. Majoritatea axiomelor afirmă existența unor mulțimi particulare definite pe baza altor mulțimi. De exemplu, axioma perechilor spune că: date fiind oricare două mulțimi și există o mulțime noua conținând exact și . Alte axiome descriu proprietățile apartenenței stabilite. Un obiectiv al axiomelor este ca fiecare axiomă să fie adevărată dacă este interpretată ca o afirmație despre colecția tuturor mulțimilor din Universul von Neumann (cunoscută și sub numele de ierarhia cumulativă).

Structura metamatematică a teoriei mulțimilor Zermelo-Fraenkel a fost studiată pe larg. Rezultatele de reper în acest domeniu au stabilit independența logică a axiomei alegerii față de axiomele ZFC rămase (a se vedea Independența de restul teoriei mulțimilor) și independența ipotezei continumului față de ZFC. Coerența unei teorii precum ZFC nu poate fi dovedită în cadrul teoriei însăși, așa cum arată cea de-a doua teoremă a incompletitudinii a lui Gödel .

Formal, ZFC este o teorie unică în logica de prim ordin. Semnătura are egalitate și o singură relație binară primitivă, apartenență la mulțime, care este notată de obicei . Formula înseamnă că mulțimea este membră a mulțimii (care este de asemenea citit, „ este un element al lui ” ssau „ este în ”).

Istorie[modificare | modificare sursă]

Studiul modern al teoriei mulțimilor a fost inițiat de Georg Cantor și Richard Dedekind în anii 1870. Totuși, descoperirea paradoxurilor în teoria naivă a mulțimilor, cum ar fi paradoxul lui Russell, a dus la dorința unei forme mai riguroase a teoriei mulțimilor, care să nu ducă la aceste paradoxuri.

În 1908, Ernst Zermelo a propus prima teorie „naivă” a mulțimilor⁠(d), teoria mulțimilor Zermelo. Cu toate acestea, așa cum a subliniat prima dată Abraham Fraenkel într-o scrisoare din 1921 către Zermelo, această teorie a fost incapabilă să demonstreze existența anumitor mulțimi și numere cardinale a căror existență a fost considerată de majoritatea teoreticienilor din epocă, în special numărul cardinal , iar mulțimea , unde este orice mulțime infinită și este operația mulțimii putere. [2] Mai mult, una dintre axiomele lui Zermelo a invocat un concept, cel al unei proprietăți „definite”, al cărei sens operațional nu era clar. În 1922, Fraenkel și Thoralf Skolem au propus în mod independent operaționalizarea unei proprietăți „definite” ca una care ar putea fi formulată ca o formulă bine formată într-o logică de prim ordin, ale cărei formule atomice erau limitate la statutul de membru și identitate. De asemenea, au propus în mod independent înlocuirea schemei de specificare cu axioma schemei de înlocuire. Aplicând această schemă, precum și axioma de regularitate (propusă prima dată de John von Neumann)[3], teoria mulțimilor Zermelo produce teoria notată ca ZF. Adăugarea la ZF fie a axiomei de alegere (AC), fie a unei afirmații echivalente cu ea, produce ZFC.

Note[modificare | modificare sursă]

  1. ^ Ciesielski 1997. . "Zermelo-Fraenkel axioms (abbreviated as ZFC where C stands for the axiom of Choice"
  2. ^ Ebbinghaus 2007. .
  3. ^ Lorenz J. Halbeisen (). Combinatorial Set Theory: With a Gentle Introduction to Forcing. Springer. pp. 62–63. ISBN 978-1-4471-2172-5.