Four Languages for Describing the Same Reality and Their Mathematical Foundations Author: Roman Grelewicz