Бурбаки
Подобно тому, как искусство правильно говорить на живом языке существовало еще до грамматики, так и аксиоматический метод применялся задолго до изобретения формализованных языков. Однако его сознательное применение может основываться только на знании общих принципов, управляющих этими языками, и их соотношений с обычными математическими текстами.
Сказал как отрезал:
- Прокрустово ложеЖил когда-то в греческой области Аттике страшный разбойник Полипемон, прозванный Прокрустом. Он не просто убивал зашедших в его владения путников: уложив гостя на ложе, он смотрел, точно ли соответствует оно росту несчастного. Если гость был длиннее, он обрубал ему ноги, если короче - вытягивал их из суставов. Бывает, что какое-нибудь произведение искусства или науки кто-либо...