इ प्रकार, ए दिखाने बर कि गणित के कन्हु भी योग्य प्रणाली वास्तव म संगत हवय, कन्हु ल पहीली गणित के एक प्रणाली के स्थिरता मानने के आवश्यकता हवय जो सिस्टम के तुलना म मजबूत समझ म पर्याप्त हवय।