nʲizavʲˈisʲimʌstʲ sʲisʲtʲˈemy aksʲiˈom v mʌtʲimatʲˈitʃʲiskʌj ɭˈoɡʲikʲi svˈojstvʌ sʲisʲtʲˈemy aksʲiˈom aksʲiʌmatʲˈitʃʲiskʌj tʲiˈorʲiɪ, prʲˈɪ kʌtˈorʌm kˈɑʒdʌja aksʲiˈoma javɭʲˈɑjitsʌ nʲizavʲˈisʲimʌj, tˈo jestʲ nʲe javɭʲˈɑjitsʌ ɭʌɡʲˈitʃʲiskʲim sɭʲˈedstvʲijim sʌvʌkˈupnʌsʲtʲɪ ʌstaɭnˈyx aksʲiˈom ˈɛtʌj tʲiˈorʲiɪ.
Независимость системы аксиом ― в математической логике свойство системы аксиом аксиоматической теории, при котором каждая аксиома является независимой, то есть не является логическим следствием совокупности остальных аксиом этой теории.