发送短信: Leibniz entre logicisme, formalisme et intuitionnisme ?