[deleted] comments on Logical Pinpointing

[[deleted]]

True, but the axiom of induction holds, and that is the most useful one.