Enayat, Ali. Set theory with a proper class of indiscernibles