逆数学的帰納法

『もしある性質Aがn+1番目について成り立つなら、n番目についてもAは成り立つ』

これを前提とするときに、、全てのｎについてAであることの証明が可能だろうか

不可能なのはどうしてなのか