证明命题“formula_23不是有理数”。
数学归纳法.数学归纳法是一种证明可数无穷个命题的技巧。欲证明以自然数"n"编号的一串命题，先证明命题1成立，并证明当命题"n"成立时命题"n"+1也成立，则对所有的命题都成立。在皮亚诺公理系统中，自然数集合的公理化定义就包括了数学归纳法。数学归纳法有不少变体，比如从0以外的自然数开始归纳，证明当命题对小于等于"n"的自然数成立时命题"n"+1也成立，反向归纳法，递降归纳法等等。广义上的数学归纳法也可以用于证明一般良基结构，例如集合论中的