Será possível uma extensão da noção de número “informalmente formal” que inclua os infinitésimos de Leibniz?