The Author discusses the meaning of the use of mathematical objects in representing knowledge. Starting with numbers, he examines sucessively others formal instruments, such as sets, structures, categories, and allegories, a new object proposed by Freyd & Scedrov (1990). This way, he suggests that the growth of the abstraction level does not presuppose a necessary progressive disconnection from reality; quite the contrary, it provides an increasing contact with it.