Logotyp
Unionpedia
Kommunikation
Ladda ned på Google Play
Ny! Ladda ner Unionpedia på din Android™-enhet!
Fri
Snabbare tillgång än webbläsare!
 

Zermelo–Fraenkels mängdteori

Index Zermelo–Fraenkels mängdteori

Zermelo-Fraenkels mängdteori med urvalsaxiomet (förkortat ZFC) är ett axiomatiskt system för mängder, formaliserat i första ordningens logik med hjälp av ett språk som består av en icke-logisk symbol som betecknar elementrelationen, \in.

8 relationer: Delmängd, Första ordningens logik, Formellt system, Matematiker, Stanford Encyclopedia of Philosophy, Symbol, Tomma mängden, Urvalsaxiomet.

Delmängd

Inom mängdteorin är en mängd A en delmängd av en mängd B om alla element som ingår i A även ingår i B. Detta skrivs.

Ny!!: Zermelo–Fraenkels mängdteori och Delmängd · Se mer »

Första ordningens logik

Första ordningens logik (FOL) är ett formellt deduktivt system som används i matematik, filosofi, lingvistik och datavetenskap.

Ny!!: Zermelo–Fraenkels mängdteori och Första ordningens logik · Se mer »

Formellt system

Ett formellt system, även kallat axiomatiskt system, är ursprungligen en symbolisk representation av en matematisk teori.

Ny!!: Zermelo–Fraenkels mängdteori och Formellt system · Se mer »

Matematiker

Emmy Noether (1882−1935), tysk matematiker. En matematiker är en person som gjort viktiga matematiska upptäckter eller på yrkesmässig basis sysslar med matematik, vanligen matematisk forskning, matematisk undervisning eller tillämpad matematik.

Ny!!: Zermelo–Fraenkels mängdteori och Matematiker · Se mer »

Stanford Encyclopedia of Philosophy

Stanford Encyclopedia of Philosophy (SEP) är en filosofisk online-encyklopedi som drivs av Stanford University.

Ny!!: Zermelo–Fraenkels mängdteori och Stanford Encyclopedia of Philosophy · Se mer »

Symbol

Symbol, från grekiska σύμβολον, symbolon - "tecken". En symbol är en representation av en (annan) sak, ett abstrakt begrepp, en idé eller egenskap. Symboler används bland annat inom matematik, kemi och heraldik, och för logotyper, Vissa symboler förändrar betydelse över tid, såsom religiösa symboler som senare anammas inom andra områden. Studiet av symboler och andra tecken kallas semiotik.

Ny!!: Zermelo–Fraenkels mängdteori och Symbol · Se mer »

Tomma mängden

Den tomma mängden betecknad med ∅(ibland används i stället beteckningen), är den mängd som inte innehåller några element.

Ny!!: Zermelo–Fraenkels mängdteori och Tomma mängden · Se mer »

Urvalsaxiomet

Urvalsaxiomet är ett mängdteoretiskt axiom som först formulerades av Ernst Zermelo 1904.

Ny!!: Zermelo–Fraenkels mängdteori och Urvalsaxiomet · Se mer »

Omdirigerar här:

ZFC, Zermelo-Fraenkels axiomsystem, Zermelo-Fraenkels mängdteori.

UtgåendeInkommande
Hallå! Vi är på Facebook nu! »