Бурбаки
Подобно тому, как искусство правильно говорить на живом языке существовало еще до грамматики, так и аксиоматический метод применялся задолго до изобретения формализованных языков. Однако его сознательное применение может основываться только на знании общих принципов, управляющих этими языками, и их соотношений с обычными математическими текстами.
Сказал как отрезал:
- Косая сажень в плечахВ древности человек искал меры длины на собственном теле. Дюйм - это сустав пальца, локоть - длина локтевой кости; английское «фут» - значит «ступня»*: наша «пядь» или «четверть» равна расстоянию между концами расставленных большого и указательного пальцев... Такое же происхождение имеет и русская «сажень» - расстояние между концами пальцев широко расставленных рук взрослого мужчины. «Косая...