Böylece, riyaziyatnıñ er angi bir aksiomatik sistemasınıñ aslında zıddiyetsiz olğanını köstermek içün, başta bir manada, zıddiyetsizliginiñ isbat etilmesi kerek bir sistemadan daa küçlü olğan bir riyaziyat sistemasınıñ zıddiyetsizligini farz etmek kerek.