“The goal of mathematics is the symbolic comprehension of the infinite with human, that is finite, means.”