Kinda like (2/2)+(3/3) but way more complicated

  • TheOrs@lemmy.world
    link
    fedilink
    arrow-up
    8
    ·
    1 year ago

    The standard way when using ordinal arithmetic is: Take the ordinal 1, which is {{}}. Replace each element with a ordered pair of the form {{a},{a,b}} with second element being 0 (that is {}). Repeat with second element 1. Take a union. Take find the ordinal with this order. Overall: otp({ {{{}},{{},{}}}, {{{}},{{},{{}}}} }) Or simplified

    otp({ {{{}}}, {{{}},{{},{{}}}} })