Gravar e-mail: Jogando o bebê junto com a água do banho: Wittgenstein, Goodstein e o cálculo equacional