2. Утверждение, справедливость которого устанавливается путем рассуждений, называется ...