उदाहरण के लिए , इसका प्रयोग संख्या सिद्धान्त के क्षेत्र में सुसंगति ( consistency ) तथा सम्पूर्णता ( completeness ) की जाँच के लिए किया जाता है ।
Entity: संख्या सिद्धान्त — Type: /algorithm