Hoppa till innehållet

Urelement

Från Wikipedia

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.

  1. ^ Beth, Evert Willem (1959). The foundations of mathematics : a study in the philosophy of science. Amsterdam: North-Holland. sid. 382