Определением является …
утверждение, которое принимается без доказательства
утверждение, которое можно вывести из ранее доказанных теорем и аксиом
предложение, которое можно формулировать произвольно
предложение, которое раскрывает смысл некоторого понятия