That’s not a gotcha. It’s literally the point of stating axioms.
Comment on Blocked 🚫
luciole@beehaw.org 3 weeks agoI’d say if your axioms don’t hold you would go far in your quest for truth.
lolcatnip@reddthat.com 3 weeks ago
Comment on Blocked 🚫
luciole@beehaw.org 3 weeks agoI’d say if your axioms don’t hold you would go far in your quest for truth.
That’s not a gotcha. It’s literally the point of stating axioms.
Malgas@beehaw.org 3 weeks ago
The thing that is absolute is a predicate of the form “if [axioms] then [theorems]”.
And the fun thing about if statements is that they can be true even when the premise is false.
luciole@beehaw.org 3 weeks ago
Of course in boolean algebra “if [false] then p” is always true no matter “p”, but it’s not telling us much.