Our interest in the questioning process is a philosophical enterprise at least since SocratesSocrates. Today, the logic of questionsLogic of questions is a branch of philosophical logic that aims at formal models of questioning and the way questions play their roles in natural languages. The discipline is often called ‘erotetic logic’Erotetic logic from the Greek word ‘ \(\grave{\varepsilon }\rho \omega \tau \varepsilon \mu \alpha \) ’ (erotema), which means ‘question’. On the other hand, proof theory is a well-established discipline studying mathematical proofs. In particular, proof theory models the process of argumentation, especially of proving, by means of formal systems in which proofs are constructed.