I don’t know about this. Never saw a maths theorem with letters before. Maybe it’s something for fun
Discussion
Letters instead of digits. But you get my point
Wish we had voice rn lol. You get the gist. Highlights how even formalized language can lead to basic contradictions if you're not more careful. Came up when reading some stuff today on foundations of math... you'll love my upcoming blog post if you like this. Soontm