• erin (she/her)
    link
    fedilink
    English
    arrow-up
    6
    ·
    2 个月前

    This isn’t a rigorous mathematic proof that would prove that it holds true in every case. You aren’t wrong, but this is a colloquial definition of proof, not a mathematical proof.

    • humblebun@sh.itjust.works
      link
      fedilink
      English
      arrow-up
      1
      ·
      2 个月前

      Sorry, I’ve spent too much of my earthly time on reading and writing formal proofs. I’m not gonna write it now, but I will insist that it’s easy

      • erin (she/her)
        link
        fedilink
        English
        arrow-up
        1
        ·
        2 个月前

        Oh trust me, I believe you. Especially using modern set theory and not the Principia Mathematica.