けんき
says to
YSITD
不過natural induction是什麼啊