Résumé
The importance of studying structuralist praxeologies has been highlighted by Hausberger (2016). In this communication, we illustrate it on the case of ideals in Ring Theory. We provide a detailed study of a proof extracted from a textbook in Abstract Algebra showing that structuralist praxeologies involve interplay between intertwined algebraic, set-theoretic and logical praxeologies, revealing a hidden complexity.