Novi temeljiŠprah, Jaka (Avtor) Swan, Andrew Wakelin (Mentor) Novi temeljiaksiomatska teorija množicV delu predstavimo aksiomatsko teorijo množic, imenovano Novi temelji. Najprej spoznamo osnovne aksiome in lastnosti ter si ogledamo nekaj pomembnih konstrukcij. V nadaljevanju definiramo kardinalna in ordinalna števila ter opišemo z njimi povezane rezultate. Obravnavamo aksiom štetja, dokažemo aksiom neskončnosti in ovržemo aksiom izbire. Dokažemo, da kategorija množic ni kartezično zaprta. Nazadnje dokažemo konsistentnost različice Novih temeljev z urelementi.20262026-07-15 08:15:05Diplomsko delo/naloga184769UDK: 510.6VisID: 160662COBISS_ID: 285030403sl