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