Derived sets in Euclidean spaces and modal logicстатья