反例

反例（はんれい、）とは、ある主張について、それが成立しない例のことである。したがって、成立しない主張を指すものではない。つまり、論理式 ∀x P(x) が成り立たないことを証明するために導入される、¬P(a) を満たすような a のことである。

反例が存在する場合、∃x ¬P(x) が成立し、これが元の論理式の否定になるため、∀x P(x) は成り立たない。 
日本語版： 

 脚注または引用文献 

 参考文献 
 数学の様々な分野での幾つかの反例を挙げている：

Category:論理学
Category:数学用語
*
Category:解釈 (哲学)
Category:証明法
Category:数学に関する記事