• superkret@feddit.org
    link
    fedilink
    arrow-up
    2
    ·
    7 days 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
      arrow-up
      1
      ·
      7 days 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.