Bir matematik teoreminin ispatlanması sürecinde, teoremin matematik sisteminin aksiyomları ve diğer teoremleriyle çelişmemesi gerekmektedir. Bu durum hangi doğruluk ölçütünü vurgulamaktadır?
