6.233 A pergunta se é preciso a intuição para resolver problemas matemáticos deve ser respondida considerando que a própria linguagem fornece a intuição necessária.