Les activités mathématiques ne se réduisent pas à la logique formelle. Dessins, petits films, programmes observés, interactions physiques, etc., sont l'occasion de mener des démonstrations aussi rigoureuses que l'écriture minutieuse des preuves formelles.