Tudományos elméletek logikai modellezése I.: Logika és relativitáselmélet - (:unkn) unknown (My University, 2026)