લીબનીઝ ગણિત સંબંધમાં શક્યતા અભ્યાસ માટે જરૂર વર્ણવેલ શુદ્ધ ઔપચારિક, સૈદ્ધાંતિક નિવેદનો પુરાવા થાય છે.