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

Extensionalitetsaxiomet

Index Extensionalitetsaxiomet

Extensionalitetsaxiomet är ett av de mängdteoretiska axiomen.

8 relationer: Axiom, Mängdteoretiska axiom, Mängdteori, Predikatlogik, Tomma mängden, Urelement, Urvalsaxiomet, Zermelo–Fraenkels mängdteori.

Axiom

Ett axiom (latin axioma, av gr ἀξίωμα, 'värde', 'åsikt') är i vardagliga sammanhang ett självklart påstående vars sanningshalt inte kan betvivlas.

Ny!!: Extensionalitetsaxiomet och Axiom · Se mer »

Mängdteoretiska axiom

De mängdteoretiska axiomen är byggstenarna i de flesta mängdteorier och antas vara sanna.

Ny!!: Extensionalitetsaxiomet och Mängdteoretiska axiom · Se mer »

Mängdteori

miniatyr Mängdteori är del inom matematisk logik som syftar till att studera samlingar av element som kallas för mängder.

Ny!!: Extensionalitetsaxiomet och Mängdteori · Se mer »

Predikatlogik

Predikatlogik är en del av den matematiska logiken.

Ny!!: Extensionalitetsaxiomet och Predikatlogik · 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!!: Extensionalitetsaxiomet och Tomma mängden · Se mer »

Urelement

Urelement är ett begrepp inom mängdteorin.

Ny!!: Extensionalitetsaxiomet och Urelement · Se mer »

Urvalsaxiomet

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

Ny!!: Extensionalitetsaxiomet och Urvalsaxiomet · Se mer »

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.

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

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