Comment

luciole@beehaw.org ⁨2⁩ ⁨months⁩ ago

I’d say if your axioms don’t hold you would go far in your quest for truth.

Sort:hotnew top

Malgas@beehaw.org ⁨2⁩ ⁨months⁩ 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.

source
- luciole@beehaw.org ⁨2⁩ ⁨months⁩ ago
  Of course in boolean algebra “if [false] then p” is always true no matter “p”, but it’s not telling us much.
  
  source
lolcatnip@reddthat.com ⁨2⁩ ⁨months⁩ ago
That’s not a gotcha. It’s literally the point of stating axioms.

source