By “proving a falsehood” I meant proving that 0=1. That’s how people usually formalize something like Con(PA).
By “proving a falsehood” I meant proving that 0=1. That’s how people usually formalize something like Con(PA).