“Privare un matematico della possibilità di fare dimostrazioni per assurdo sarebbe come legare le mani di un pugile dietro la schiena.”