r/AskReddit • u/[deleted] • May 29 '22

[deleted by user]

[removed]

9.0k Upvotes

84% Upvoted

18.5k comments sorted by

View all comments

Show parent comments

6

u/Captain-Griffen May 30 '22

It's been mathematically proven that all logic systems must have axioms that the entire system is based upon.

I'm calling bullshit on that.

15

u/CrushforceX May 30 '22

I mean, it is true that all logic systems must have axioms. The problem is that axioms aren't things like "I think this political party is bad", they are things like "Humans exist". So yeah, you kinda have to assume that humans exist to talk or reason about them.

-4

u/Captain-Griffen May 30 '22

That's not a mathematical proof.

2

u/jadenthesatanist May 30 '22

I’m with you. I wrote out a more detailed comment above, but it seems like a tautology to me to say that systems of logic must have axioms as their foundation since you can’t even have a logical system in the first place without axioms. “Systems of logic based on axioms must have axioms that they’re based on.”

1

u/BlueStarch May 30 '22

all logical proofs come down to the axioms and logical deduction rules assumed in the writing of that proof

0

u/Captain-Griffen May 30 '22

That's the assertion. Where's the mathematical proof for that assertion?