• MBM@lemmings.world
    link
    fedilink
    English
    arrow-up
    17
    ·
    2 days ago

    Is this where I go “actually it took 83 pages to set up an extremely rigorous system and then a couple of lines to show you could use it to prove 1+1=2”?

    • Donkter@lemmy.world
      link
      fedilink
      English
      arrow-up
      4
      ·
      1 day ago

      If those couple of lines couldn’t be determined to be true without the 83 page setup then it took all 83 pages to prove 1+1=2