Li-Fan Chen says to YSITD 他的意思是 對於所有的公式φ 把 φ 當中的 v 代換0 會成立的話 且 (如果 φ 成立 ，把φ當中的v代換成 suc v 也會成立) 會成立的話 則 對於所有的 v, φ 都成立