Bir mantık sisteminde, tüm önermelerin birbiriyle çelişmemesi ve sistemin iç tutarlılığa sahip olması hangi doğruluk ölçütünü temel alır?