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

Funny

10645 readers
300 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
[–] [email protected] 2 points 1 week 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.