Comment on Blocked 🚫

<- View Parent
Malgas@beehaw.org ⁨3⁩ ⁨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
Sort:hotnewtop