गणित में उपपत्ति अथवा गणितीय उपपत्ति ( ) एक गणितीय कथन के लिए निगमनात्मक तर्क है ।
Entity: गणित — Type: /art/music, /programming_language, /art