A equivalência de “Nenhum matemático é normal” é: