  This paper presents mathematics as a general science of computation in a way
different from the tradition. It is based on the radical philosophical
standpoint according to which the content, meaning and justification of
experience lies in its precise formulation. The requirement on precise, formal
content discloses the relational structure of (mathematical) experience, and
gives a new meaning to the `ideal' objects beyond concrete forms. The paper
also provides a systematic reason why set theory represents an ultimate stage
in mathematical technology.
