<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=184769"><dc:title>Novi temelji</dc:title><dc:creator>Šprah,	Jaka	(Avtor)
	</dc:creator><dc:creator>Swan,	Andrew Wakelin	(Mentor)
	</dc:creator><dc:subject>Novi temelji</dc:subject><dc:subject>aksiomatska teorija množic</dc:subject><dc:description>V 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.</dc:description><dc:date>2026</dc:date><dc:date>2026-07-15 08:15:05</dc:date><dc:type>Diplomsko delo/naloga</dc:type><dc:identifier>184769</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>