Question about the internal language of a topos