A demonstração matemática evoca questões complexas de natureza lógico-epistemológica. Neste artigo exploramos episódios na história do cálculo infinitesimal, em particular sobre Bonaventura Cavalieri, visando destacar aspectos qualitativos da demonstração matemática. Inicialmente, apresentamos perspectivas sobre estética e demonstração matemática visando identificar elementos qualitativos na produção de conhecimentos matemáticos (formais). Em seguida, exploramos o uso de notações/simbologias no desenvolvimento do Princípio de Cavalieri e em resultados envolvendo o conceito de integral. Enfatizamos aspectos sobre linguagem/notações e procedimentos na enunciação e demonstração de alguns teoremas/proposições de Cavalieri. Finalmente, mencionamos nuances sobre como Leibniz, ao criar uma simbologia, reorganizou a estética de Cavalieri e determinou novos resultados sobre integrais.