Наука о фигурах, доказательствах и безупречной логике рассуждений.