गणितीय आगमन विधि में आधार स्तर यह सिद्ध करता है कि
1
प्रारंभिक मूल्य के लिए कथन सत्य है।
2
यदि कथन संख्या 'n' के लिए सत्य है तो यह 'n+1' के लिए भी सत्य है।
3
P सत्य है, और फिर P के साथ-साथ अन्य स्वयंसिद्धों का उपयोग करके सीधे यह दिखाने के लिए कि Q सत्य है।
4
यदि P, तो Q को दावे का प्रमाण बनाकर अनुमान लगाया जाता है यदि Q नहीं तो P नहीं।