You missed the point. Any "bad" Godel's number can be interpreted as "good" Lisivka's number. We have ambiguity here, because a number can refer to any formula in infinite number of sets.
> We can go further. We can even construct PM-Lisp formulas in PM-Lisp!
When you say "You missed the point.", and "No, we cannot" -- your words come off as though you are supremely confident, and a bit condescending. This makes me not want to engage deeper with you.
To see how it feels:
No, drran, you have missed the point. Read it again, maybe you'll get it.
> We can go further. We can even construct PM-Lisp formulas in PM-Lisp!
No, we cannot.