• luciole (he/him)
    link
    fedilink
    English
    7
    edit-2
    4 months ago

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

    • Malgas
      link
      fedilink
      English
      104 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.

      • luciole (he/him)
        link
        fedilink
        English
        24 months ago

        Of course in boolean algebra “if [false] then p” is always true no matter “p”, but it’s not telling us much.