I was wondering what the Ladder of Abstraction was leaning on. Clearly, the mathematicians just assumed its existence as a starting point.