- 反证法（有时也被称为归谬法）
先假设命题的否定形式成立，然后再进行推理，引出矛盾。 - 质数
只能被1和本身整除的大于1的整数。 - 可数
集合的元素是有限的，或者集合中的所有元素都与正整数一一对应时，这个集合就被定义为可数（countable） - 停机问题
判断“某程序在给定数据下，是否会在有限的时间结束运行”的问题。 - 费马大定理(Fermat's last theorem)
当整数n>2时，关于x,y,z的不定方程xn + yn = zn无正数解。 - 哥德巴赫猜想
任意大于3的偶数都可以写成两个质数之和