Mängdlära

Om kursen

Mängdlära är en del av området matematisk logik. Du kommer att lära dig att formalisera matematiska påståenden i ZF mängdlära, beskriva och utföra kardinaltals- och ordinaltalsräkning, tillämpa varianter av urvalsaxiomet, utföra bevis och konstruktion genom transfinit induktion och rekursion, beskriva olika paradoxer i naiv mängdteori, formulera oberoenderesultat om kontinuumhypotesen och urvalsaxiomet.