それはIntで受けてるのがだめだよって話と、自己再帰は正しく推論するよって話ですかね