The set of GÃķdel numbers of true formulas about the indiscernibles in the GÃķdel constructible universe ðŋ