That clears things up

That equation is really giving “huehuehue”

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.