Vizualizare sursă pentru „Sistemul axiomatic Zermelo-Fraenkel”

Î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 [[Secolul al XIX-lea|secolului al XX-lea]] pentru a formula o [[Teoria mulțimilor|teorie a mulțimilor]] liberă de paradoxuri, cum ar fi [[paradoxul lui Russell]]. Astăzi, teoria mulțimilor Zermelo–Fraenkel, cu [[axioma alegerii]] din punct de vedere istoric controversată (AC), este fundamentarea standard a [[Teoria mulțimilor|teoriei axiomatice a mulțimilor]] și ca atare este fundamentul cel mai comun al matematicii. Teoria mulțimilor Zermelo–Fraenkel, cu axioma alegerii inclusă este notată prescurtat '''ZFC''', unde C înseamnă „choice” (în {{ro|alegere}}),<ref>{{Harvnb|Ciesielski|1997}}. "Zermelo–Fraenkel axioms (abbreviated as ZFC where C stands for the axiom of Choice"</ref> iar '''ZF''' se referă la axiomele teoriei mulțimilor Zermelo–Fraenkel, fără axioma alegerii.   

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 <math>a</math> și <math>b</math> există o mulțime nouă <math>{a,b}</math> conținând exact <math>a</math> și <math>b</math> . 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 [[Axioma alegerii#Independența de restul teoriei mulțimilor|Independența de restul teoriei mulțimilor]]) și independența ipotezei continuumului 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ă, [[Element (matematică)|apartenență la mulțime]], care este notată de obicei <math>\in</math> . Formula <math>a\in b</math> înseamnă că mulțimea <math>a</math> este membră a mulțimii <math>b</math> (care este de asemenea citit, „<math>a</math> este un element al lui <math>b</math>” sau „<math>a</math> este în <math>b</math>”).

== Istorie ==
Studiul modern al [[Teoria mulțimilor|teoriei mulțimilor a]] fost inițiat de [[Georg Cantor]] și [[Richard Dedekind]] în anii 1870. Totuși, descoperirea paradoxurilor în {{Ill-wd|Q903783||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|Ernst Zermelo]] propus prima teorie „naivă” a mulțimilor, teoria mulțimilor Zermelo. Totuși, 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 [[Număr cardinal|numere cardinale]] a căror existență a fost considerată de majoritatea teoreticienilor din epocă, în special numărul cardinal <math>\aleph_{\omega}</math>, iar mulțimea <math>\{Z_{0},\mathcal{P}(Z_{0}),\mathcal{P}( \mathcal{P}(Z_{0}) ),\mathcal{P}( \mathcal{P}( \mathcal{P}(Z_{0}) ) ),...\}</math>, unde <math>Z_{0}</math> este orice mulțime infinită și <math>\mathcal{P}</math> este operația mulțimii putere. <ref>{{Harvnb|Ebbinghaus|2007}}.</ref> 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 [[formulă atomică|formule atomice]] erau limitate la statutul de membru și identitate. De asemenea, au propus în mod independent înlocuirea schemei de specificare cu axioma înlocuirii. Aplicând această schemă, precum și axioma regularității (propusă prima dată de [[John von Neumann]])<ref name="Halbeisen2011">{{Citat carte|nume=Lorenz J. Halbeisen|titlu=Combinatorial Set Theory: With a Gentle Introduction to Forcing|url=https://books.google.com/books?id=NZVb54INnywC&pg=PA62|an=2011|editură=Springer|isbn=978-1-4471-2172-5|pagini=62–63}}</ref>, teoria mulțimilor Zermelo produce teoria notată ca ''ZF''. Adăugarea la ZF fie a axiomei alegerii (AC), fie a unei afirmații echivalente cu ea, produce ZFC.

==Note==
<references />

{{Control de autoritate}}

[[Categorie:Teoria mulțimilor]]