Exploring mathematical methodology - Meleiro, Juan Ferrer; Mariano, Hugo Luiz; Mendes, Caio de Andrade (Brazilian Logic Conference - EBL 2025, 2025)