• humblebun@sh.itjust.works
    link
    fedilink
    English
    arrow-up
    1
    ·
    17 hours ago

    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
      ·
      17 hours ago

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