इ प्रकार, इ देखावे खातिर कि गणित के कोई भी स्वयंसिद्ध प्रणाली वास्तव में सुसंगत बा, केहुके भी पहिले गणित के एगो प्रणाली के संगति के माने के जरूरत बा जेकि सुसंगत साबित होवे खातिर प्रणाली के तुलना में जादा मजबूत बा.