Exact, on peut prouver les formules de calcul d'aire et de volume en intégrant d'infimes variations de coordonnées dans un repère.
Sinon, on utilise parfois des axiomes sur lesquels reposent certaines disciplines. A partir de ces axiomes (énoncés logiques, qu'on s'abstient de démontrer), on démontre tout le reste. Donc même si on s'appuie sur quelque chose de non démontré, ça ne remet pas en cause la véracité de la discipline.