数理逻辑和现实生活的语言表达逻辑是不同的，数理逻辑里规定了空蕴含为真，而且证明了这个规定是合理的，数学能按照这套逻辑有序运行，这对于数学就已经足够好了。

尽管归纳的第一步有空真，类似命题p：若n≠0，则n≥2之类的命题也并不会成立，因为归纳法的“ 若pn0真则pn0＋1真”要对所有n0都成立，虽然在这个例子里对于一切非0的n0，归纳法的“ 若..则..”都成立，但是唯独n0＝0时p0空真，p1假，因此归纳法不能用，也就没什么矛盾。
所以我的理解是，n＝0时空真在归纳法里提供了信息，尽管p0空真听起来没什么用，但在验证对所有n0的“ 若..则..”都成立时，p0空真就要求p1真，这算是信息吧。