Leśniewski on metalogic and definitions. - Richard, Sebastien (Synthese, 2018)