Karana itu, hagan manampaiakan sistem aksiomatik matematika nang bujur tu bujuran konsisten, inya perlu mangira-ngira ka-konsisten-an sistem matimatika nang takuat daripada nang handak dibukti akan ka-konsisten-annya.