ومن ثمّ، وباش توضح أن أي نظام بديهي في الرياضيات هو في الحقيقة متسق، تيحتاج المرء أولاً إلى افتراض اتساق نظام الرياضيات لي هو بمعنى أقوى من النظام ليتم إثبات اتساقه.