The Ladder of Abstraction -- by Bret Victor

Victor's idea of a ladder of abstraction is compelling. His presentation of mathematic as a succession of abstractions layered upon one another is beautiful. I suspect the idea of hierarchies of abstraction is a fertile field for exploring how grammar, logic, and rhetoric fit into the mathematics classroom.