Reducible or irreducible? Mathematical reasoning and the ontological method. · Study