数学计算中什么叫做特例法

例如在证明一个命题不正确，只需要举出一个反例。
或者通过若干个特例，总结出经验公式。
这些都是特例法。

17世纪初法国数学家梅森(Mersenne)在他的一个著作当中讨论了这样一种我们现在称之为梅森素数的素数，Mp=2^p − 1，本来以为只要p是一个素数，n = 2^p − 1就会是一个素数，这在p = 3，p = 5，p = 7都是正确的。
后来证明：p = 11时 2^11-1=2047=23*89就不是素数了。
否定了这个命题。
(转自维基素数条目)