Urelement
 |
Den här artikeln behöver källhänvisningar för att kunna verifieras. (2020-08) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Urelement är ett begrepp inom mängdteorin. Det är ett objekt som kan ingå som element i mängder, men som själv inte är en mängd. Eftersom ett urelement inte är en mängd kan det inte ha några egna element.Det användes bland annat av Ernest Zermelo i hans tidiga beskrivning av mängdteorin.[1] I "normala" mängdteorier, som till exempel ZFC, bortser man från urelement. Det blir bara krångligt att ta hänsyn till dem och dessutom kan nästan alla matematiska begrepp ändå reduceras till just mängder.
Referenser
[redigera | redigera wikitext]- ^ Beth, Evert Willem (1959). The foundations of mathematics : a study in the philosophy of science. Amsterdam: North-Holland. sid. 382