Udumo lwezi theorems zimbini luthi ukuba iinkqubo zeaxiomatic ezithi gqolo zimna'ukuvela zinamandla ngokwaneleyo ukuze zizichaze ngokwazo, kuyakuba kho izinto eziyinyaniso kwezo nkqubo ezingenakungqinwa apha kwinkqubo ngokwayo.