Teorii formale ale seturilor

Această intrare pe tema matematicii este doar o schiță . Contribuiți la îmbunătățirea acestuia în conformitate cu convențiile Wikipedia . Urmați sfaturile de proiectare de referință .

Teoriile formale ale mulțimilor sunt teorii de ordinul întâi cu scopul de a reprezenta relațiile de mulțimi și de a oferi o bază pentru raționamentul matematic în general.

Principalele teorii formale sunt:

• teoria mulțimilor lui Zermelo - Fraenkel (ZF) care își datorează numele lui Ernst Zermelo , care în 1905 a formulat o primă listă de axiome pentru teoria mulțimilor și lui Abraham Fraenkel care a modificat-o în 1920 .
• ZFC obținut prin adăugarea axiomei de alegere la ZF
• Teoria seturilor Von Neumann-Bernays-Gödel (NBG) datorită lui John von Neumann , Paul Bernays , Kurt Gödel .

Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică