• Sop@lemmy.blahaj.zone
      link
      fedilink
      arrow-up
      7
      ·
      5 months ago

      This looks like classical ordinal set theory in relatively modern notation. I’d guess that Principia Mathematica uses batshit notation compared to this but I haven’t read it.