– qarama-qarsılıqsız aksiomalar sistemasına qoyılatuǵın talaplardıń birewi. Eger $(A_{i})$, $i=1,2,\ldots,n$ qarama-qarsılıqsız aksiomalar sistemasınıń $A_{i}$ aksiomalarınıń hesh birewi usı sistemanıń basqa aksiomalarınıń saldarı bolmasa, onda $(A_{i})$, $i=1,2,\ldots,n$ aksiomalar sisteması ǵárezsiz aksiomalar sisteması dep ataladı. Basqasha aytqanda, aksiomalar sistemasınıń ǵárezsizligi usı sistemalar sanınıń minimal bolıwına alıp keledi.