• marcos@lemmy.world
    link
    fedilink
    arrow-up
    1
    ·
    15 hours ago

    That excerpt does nothing even similar to claiming the definition makes things clear.

    I have no idea what l is, but given the context of axiomatization of arithmetic, I’m almost sure the author picked a fair and precise example.