Udvalgsaksiomet: Forskelle mellem versioner

'''Udvalgsaksiomet''' er et omdiskuteret aksiom i [[mængdelære]] formuleret af [[Ernst Zermelo]] i [[1904]]. Det postulerer eksistensen af en [[funktion]] som udtager et element i en vilkårlig ikke-tom [[mængde]]. Populært postulerer udvalgsaksiomet at hvis der haves en række( vilkårlig, evt. uendelig ) samling af ikke-tommertomme mængder kan der fra hver mængde vælges et element. Udvalgsaksiomet er trods sin kontroversielle status en del af grundlaget af moderne matematik sådan som det behandles af de fleste matematikere. Udvalgsaksiomet er uafhængigt af [[Zermelo-Fraenkels aksiomer]], og omtales i sammen med disse ofte som ZFC.