this post was submitted on 30 Jun 2025
64 points (100.0% liked)

Funny

10754 readers
577 users here now

General rules:

Exceptions may be made at the discretion of the mods.

founded 2 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] marcos@lemmy.world 2 points 2 weeks 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.