અમે આનુભાવિક સંશોધન કરીને ભૂમિતિ અથવા અંકગણિતમાં પ્રમેયોમાં નથી આવતાં; અમે તર્ક દ્વારા માત્ર આ પ્રકારની સત્યો સ્થાપિત.