• Sop@lemmy.blahaj.zone
    link
    fedilink
    arrow-up
    0
    ·
    9 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.