|
аксиома
Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником
[ГОСТ 34.320-96]
аксиома
Предложение, принимаемое за истину без доказательств.
Аксиомы являются исходными предложениями различных теорий. К аксиомам предъявляются требования непротиворечивости, независимости и полноты. Примером аксиомы является утверждение: "через две точки можно провести только одну прямую" линию.
Нередко аксиомы являются отправными пунктами программирования, определяя то, что должно быть истинным. Аксиомы имеют опытное происхождение и являются основой доказательств многих других положений.
Аксиому также называют постулатом.
[http://www.morepc.ru/dict/] |
EN |
|
FR |
|
|
Тематики
- базы данных
- информационные технологии в целом
|