Halmazelmélet, modellelmélet III.: Dedekind-finit struktúrák - (:unkn) unknown (My University, 2026)