why can’t you just assume that as an axiom, instead of induction?
It is induction. And no, you can’t express it in first-order logic, for the exact same reason as you can’t with other formulations of induction.
It is induction. And no, you can’t express it in first-order logic, for the exact same reason as you can’t with other formulations of induction.