Bizonyításelmélet II.: Természetes nyelvi feldolgozás Pythonnal - (:unkn) unknown (My University, 2026)