1953-1956年我国出现下图所示农业经济状况的主要原因是( )
①∀x∈R,﹣x2+x﹣1<0;
②∀x∈R,|x|>x;
③∀x,y∈Z,2x﹣5y≠12;
④∃x∈R,Tsin2x+sinx+1=0.
数学归纳法适用于证明的命题类型是( )