Русско-белорусский математический словарь

НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ

незалежнасць сістэмы аксіём

  1. независимость системы аксиом—свойство системы аксиом данной аксиоматич. теории состоящее в том что каждая аксиома является независимой т. е. не является логическим следствием из множества остальных а...Математическая энциклопедия
  2. независимость системы аксиом—невыводимость аксиом к.л. дедуктивной теории по правилам вывода этой теории из остальных аксиом. Исследование Н. с. а. имеет существенное значение. Так установление незав...Философский энциклопедический словарь