Бурбаки
Подобно тому, как искусство правильно говорить на живом языке существовало еще до грамматики, так и аксиоматический метод применялся задолго до изобретения формализованных языков. Однако его сознательное применение может основываться только на знании общих принципов, управляющих этими языками, и их соотношений с обычными математическими текстами.
Сказал как отрезал:
- Пальма первенстваЭто почти то же самое, что лавровый венок (см. «Лавры пожинать»). На олимпийских играх и других народных состязаниях греки не только увенчивали победителей лаврами, но еще и вручали им пальмовые ветви. Недаром сама богиня победы Никэ изображалась с такой ветвью в руках. (Следует помнить, что под пальмовой ветвью обычно подразумевают перистый лист финиковой и других...