गणितीय आगमन विधि में शामिल है:
a. इस धारणा से प्रारंभ करते हुए कि P सत्य है, और फिर P का उपयोग करते हुए और साथ ही साथ अन्य सिद्धांत प्रत्यक्ष तौर पर दर्शाते हैं कि Q सत्य है।

b. एक गणितीय तकनीक जो एक कथन, एक सूत्र या एक प्रमेय को प्रमाणित करने के लिए उपयोग की जाती है, हर प्राकृतिक संख्या के लिए सत्य है।

c. दो चरणों में आते हैं

d. निष्कर्ष, यदि P, तो ​Q दावे का प्रमाण बनाकर अनुमान लगाया जाता है यदि Q नहीं तो P नहीं