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