If I recall correctly, Hofstatder uses the same principal for developing a formal language for classifying primes in Goedel Escher Bach.