You would demand that particular proof, but why? PA+~Con(PA) doesn’t need such eccentricities. You already believe Con(PA), so you can’t start from ~Con(PA) as an axiom. Something in your mind makes that choice.
You would demand that particular proof, but why? PA+~Con(PA) doesn’t need such eccentricities. You already believe Con(PA), so you can’t start from ~Con(PA) as an axiom. Something in your mind makes that choice.