Dictionary: “数学的帰納法”