કે નિવેદન, જે સાબિતીની જરૂર પડતી નથી - ગણિત એક ગૃહીત વિશ્વમાં.