Определением является …
предложение, которое раскрывает смысл некоторого понятия | |||
утверждение, которое можно вывести из ранее доказанных теорем и аксиом | |||
предложение, которое можно формулировать произвольно | |||
утверждение, которое принимается без доказательства |
Решение:
Определение – это предложение, которое раскрывает смысл некоторого понятия. Например, «квадрат – это прямоугольник, у которого все стороны равны». Определение нельзя формулировать произвольно.
Утверждение, которое принимается без доказательства, является аксиомой. Утверждение же, которое можно вывести из ранее доказанных теорем и аксиом, является теоремой.
Таким образом, определение – это предложение, которое раскрывает смысл некоторого понятия.