Tradisjonelt har gyldigheten av det aksiomatiske systemet blitt avgjort av om det har konsistens. Det innebærer at de logiske systemene som følger av aksiomene ikke skulle kunne inneholde selvmotsigelser, hverken tydelige direkte selvmotsigelser, og mindre åpenbare motsigelser som det kan være vanskelig å oppfatte.