Deux approches de Grothendieck pour démontrer un théorème :
" L'une est celle du marteau et du burin, quand le problème posé est vu comme une grosse noix, dure et lisse, dont il s'agit d'atteindre l'intérieur, la chair nourricière protégée par la coque. Le principe est simple : on pose le tranchant du burin contre la coque, et on tape fort. Au besoin, on recommence en plusieurs endroits différents, jusqu'à ce que la coque se casse – et on est content. Je pourrais illustrer la deuxième approche, en gardant l'image de la noix qu'il s'agit d'ouvrir. La première parabole qui m'est venue à l'esprit tantôt, c'est qu'on plonge la noix dans un liquide émollient, de l'eau simplement pourquoi pas, de temps en temps on frotte pour qu'elle pénètre mieux, pour le reste on laisse faire le temps. La coque s'assouplit au fil des semaines et des mois - quand le temps est mûr, une pression de la main suffit, la coque s'ouvre comme celle d'un avocat mûr à point." Récoltes et Semailles

Pour Lacan, il ne s'agit pas du démontrer, mais du dire :
" Je dis toujours la vérité : pas toute, parce que toute la dire, on n'y arrive pas... les mots y manquent... c'est même par cet impossible que la vérité tient au réel " Les Non-dupes errent