\RBibitem{Wey76} \by Г.~Вейль \paper Структура математики \jour УМН \yr 1976 \vol 31 \issue 4(190) \pages 220--238 \mathnet{http://mi.mathnet.ru/rm3805} \mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=411914} \zmath{https://zbmath.org/?q=an:0333.02005}