È possibile dimostrare anche teoremi di analisi matematica usando la struttura di topos? Per esempio il teorema di Rolle o ecc