THE USE OF ALGEBRAIC LANGUAGE IN MATHEMATICAL MODELLING AND PROVING IN THE PERSPECTIVE OF HABERMAS' THEORY OF RATIONALITY