It’s a “proof” in that it follows the formal rules of the proof system. You can “prove” anything if your rules are sufficiently ridiculous, but that doesn’t mean the proof actually means anything.
Thanks.
It’s a “proof” in that it follows the formal rules of the proof system. You can “prove” anything if your rules are sufficiently ridiculous, but that doesn’t mean the proof actually means anything.
Thanks.