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

Funny

11127 readers
1272 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 1 month 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.