jˈɛɕli jɛst skɔɲtʃˈɔnɨm zbjˈɔrɛm ˌaksjɔmˈatuf, tɔː istɲʲˈɛjɛ pˈɔdʑbjur tˈaki, ʒˈɛ jɛst ɲʲˌɛzalˈɛʒnɨ, a jˈɛdnak mˈa tˈɛ sˈamɔ̃ ɕˈiwɛ, tsˈɔ tɔ znˈatʃɨ. kˈaʒdɨ aksjˈɔmad w zbjˈɔʒɛ mˈɔʒna ˌudɔvˈɔdɲitɕ na bˈaʑɛ ˌaksjɔmˈatuf w jˈɛɕli jɛst ɲʲˌɛskɔɲtʃˈɔnɨ, tɔ w ɔɡˈulnɨm pʃɨpˈatku ɲʲˈɛma takʲˈɛɡɔ pɔdʑbjˈɔru, w ɲʲɛktˌurɨx ʃtʃɛɡˈulnɨx pʃɨpˈatkax mˈɔʒɛ jˈɛdnak ˈistɲʲɛtɕ.
Jeśli  jest skończonym zbiorem aksjomatów, to istnieje podzbiór  taki, że  jest niezależny, a jednak ma tę samą siłę, co  tzn. każdy aksjomat w zbiorze  można udowodnić na bazie aksjomatów w  Jeśli  jest nieskończony, to w ogólnym przypadku nie ma takiego podzbioru, w niektórych szczególnych przypadkach może jednak istnieć.