Tudományos elméletek logikai modellezése II.: Wittgenstein filozófiájának formális megközelítései - (:unkn) unknown (My University, 2026)