په ورته ثبوت سره، په هرصورت، د ریاضیاتو فلسفېانو هڅه کړې ده هغه څه مشخص کړي چې یو ثبوت د بل په پرتله خورا مطلوب کوي کله چې دواړه په منطقي ډول سم وي.