• @superkret@feddit.org
    link
    fedilink
    21 month ago

    Yes, we understood what you were saying.
    But your IF is followed by a nonsensical statement.
    It’s a precondition that can’t be true.

    • @tetris11@lemmy.ml
      link
      fedilink
      11 month ago

      Ah okay. Why not though? I thought mathematics as a whole suffers from a lack of proof of some of its axioms, which if disproven could spell trouble.