Our first presentation will contrast three key philosophical notions—the notions of function, possibility and existence—as they are construed within the classical and the intuitionistic traditions, and in Wittgenstein’s philosophy of mathematics. These contrasting characterizations will help clarify Wittgenstein’s mature concept of a rule. It will be argued that this last concept is reminiscent of Category Theories’ idea of morphism.