Abstract
The alleged conception of logic as a topic neutral subject, whose propositions are nothing but uninterpreted strings of symbols, was challenged in the second half of XIX century by the work of Gottlob Frege. Specifically, his investigations on the foundation of the concept of natural number, lead to a position historically known as logicism, according to which arithmetic - and secondly th…