If someone uses different rules than you to decide what to believe, then things that you can prove using your rules won’t necessarily be provable using their rules.
What “Different rules” could someone use to decide what to believe, besides “Because logic and science say so”? “Because my God said so”? “Because these tea leaves said so”?
Yes, but as it happens that kind of difference is unnecessary in the abstract. Besides the point I mentioned earlier, you could have a logical set of assumptions for “self-hating arithmetic” that proves arithmetic contradicts itself.
If someone uses different rules than you to decide what to believe, then things that you can prove using your rules won’t necessarily be provable using their rules.
No, really, what?
What “Different rules” could someone use to decide what to believe, besides “Because logic and science say so”? “Because my God said so”? “Because these tea leaves said so”?
Yes, but as it happens that kind of difference is unnecessary in the abstract. Besides the point I mentioned earlier, you could have a logical set of assumptions for “self-hating arithmetic” that proves arithmetic contradicts itself.
Completely unnecessary details here.
Unfortunately, yes.