I'm a PhD student and assistant at the Institute of Philosophy (ISFI) of the University of Italian Switzerland (USI) in Lugano. My research is mainly in mathematical and philosophical logic, as well as in the philosophy of logic and of mathematics. My PhD project is supervised by Prof. A. Giordani and co-supervised by Prof. V. Halbach. It touches upon the arithmetization of metamathematics and its different sources of intensionality, especially in Gödel's second incompleteness theorem.