There are several books and articles on topos theory which mention the internal language, but I can't manage to see the big picture from any of them. I would like a soft explanation of how the entities in the definition of an elementary topos come to together and give rise to this internal logic.
Does everything rely on the internal Heyting algebra structure of the subobject classifier?
How does one go from this to reasoning naturally like with sets?