Аксиома — утверждение, которое априорно считается истинным.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]
Аксиома (axiom) — положение некоторой теории (самоочевидный принцип), принимаемое без логического доказательства в силу непосредственной убедительности и являющееся исходным положением данной теории для извлечения всего остального ее содержания. А. предназначена для определения понятия, оформления простого единичного знания, построения исчисления или базы знаний. А. подразделяются на естественные, языковые, структурные, концептуальные, логические, прикладные и системные.
[Словарь понятий по информатике от А до З. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user/415987/page/slovar-kompyuternyh-…/, свободный.]