[jonathanlocke]

Sounds pretty much like the problem of establishing contact with an alien civilization. Definitely set theory, prime numbers, arithmetic and so on... I guess at some point, objects will be equipped with general intelligence for such negotiations if they are to be true digital ambassadors!

[alankay]

Yes, look at Lincos https://en.wikipedia.org/wiki/Lincos_(artificial_language)