cm0002@lemmy.world to Funny@sh.itjust.works · 7 days agoThat clears things uplinux.communityimagemessage-square9linkfedilinkarrow-up164
arrow-up164imageThat clears things uplinux.communitycm0002@lemmy.world to Funny@sh.itjust.works · 7 days agomessage-square9linkfedilink
minus-squaremarcos@lemmy.worldlinkfedilinkarrow-up2·7 days agoThat 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.
That excerpt does nothing even similar to claiming the definition makes things clear.
I have no idea what
lis, but given the context of axiomatization of arithmetic, I’m almost sure the author picked a fair and precise example.