Yeah, it was these types of issues that spurred efforts at formalizing logic in last century, my understanding. Language like this, when not more carefully built up, can do all sorts of self referential tricks. Even when you do make the efforts to make it concrete, you gave issues as Gödel famously showed a bit later. Just kinda cool to trip out on imo