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.