– aksiomalar sistemasına qoyılatuǵın talaplardıń biri. Eger berilgen aksiomalar sistemasınan logikalıq túrde bir-birine qarsı keletuǵın eki aytımdı keltirip shıǵarıwǵa bolmasa, onda ol aksiomalar sisteması qarama-qarsılıqsız dep ataladı. Eger aksiomalar sisteması bul qásiyetke iye bolmasa qarama-qarsılıqlı dep ataladı. Qarama-qarsılıqlı aksiomalar sisteması ilimiy pándi tiykarlawǵa jaramaydı.