Deļtuo, kab paruodeit, ka sevkura aksiomatiska matematikys sistema patīseibā ir konsekventa, vysa pyrma ir juopījam matematikys sistemys konsekvence, kas sovā ziņā ir spieceiguoka par sistemu, kas juopīruoda konsekventa.