गणितीय आगमन
गणितीय आगमन (Mathematical induction) गणितीय उपपत्ति (mathematical proof) प्रस्तुत करने की एक विधि है जिसका उपयोग प्रायः। यह दर्शाने के लिये किया जाता है कि कोई कथन (statement) सभी प्राकृतिक संख्याओं के लिये सत्य है। यद्यपि इसके नाम में 'आगमन' (induction) शब्द आया है किन्तु सही बात यह है कि यह विधि एक निगमन विधि (deductive logic) है न कि आगमन विधि (inductive logic)। इस विधि का सबसे पहला उल्लेख सन् १५७५ में फ्रांसेस्को माउरोलिको (Francesco Maurolico) द्वारा हुआ मिलता है। यह पियानो के पाँचवें अभिग्रहीत से संबंधित है।पियानो का पाँचवा अभिग्रहीत ही आगमन अभिग्रहीत (Induction's Axiom) कहलाता है