Mængdelære: Forskelle mellem versioner

Content deleted Content added
No edit summary
Linje 3:
Mængdelæren blev især udviklet i perioden 1880-1920. [[Georg Cantor]] definerede de første begreber, [[Bertrand Russell]] og [[David Hilbert]] bidrog væsentligt til at gøre det til en konsistent teori. Mængdebegrebet defineres af [[Zermelo-Fraenkels aksiomer]], samt som oftest [[udvalgsaksiomet]]. Man ser derfor ofte mængdeaksiomerne skrevet som ZFC, hvor C'et står for "axiom of choice".
 
Som eksempel på hvordan matematik kan udledes af mængdelæren, kan de [[naturlige tal]] udtrykkes som mængder.0 svarer til den [[tomme mængde]], <math>\emptyset</math>, 1 til mængden indeholdende 0, dvs.den tomme mængde, 2 til mængden indeholdende {10,21}, dvs. den tomme mængde og 'mængden indeholdende den tomme mængde'. Hvert tal svarer altså til mængden af alle foregående tal. Dette giver direkte definitionen af at naturligt tals efterfølger, altså til +1. Herefter er det enkelt at aflede +, * og andre [[funktioner]].
 
[[Kategori:Matematik]]