Halmazelmélet, modellelmélet I.: Az aritmetika modellelmélete - (:unkn) unknown (My University, 2026)