[III.10.3. diferença entre um código e uma axiomática -p.326-329]

eu já devo ter usado essa piada, mas, qual a diferença entre o charme o funk? temos aí, portanto, um pequena explicação que talvez eles estejam atrasados apenas em umas 300 páginas, o que é o tal do código (a axiomática eles ainda tão devendo).