On Sat, Feb 19, 2011 at 11:41:34PM +0500, Pavel N. Solovyov wrote: PNS> Вы меня, право, озадачили. Правила сложения, вычитания мы и в PNS> самом деле принимали без доказательств, определение синуса и косинуса PNS> в доказательствах не нуждается, а практически всё остальное мы PNS> доказывали, за исключением аксиом разумеется. Кстати мы (в 8-м клссе) -- даже правила сложения доказывали. -- С уважением, Денис http://mithraen.ru/ ----------------------------------------------------------------------------