Milly Maietti and Pietro Sabelli: Peculiarities of the Minimalist Foundation for Formal Mathematics