The central argument against the absolutist view of mathematical knowledge can be circumvented by a hypothetico-deductive approach. However , beyond the problem of the assumrd truth of the axioms, the absolutist view suffers from further major weaknesses.
The first of these concerns the underlying logic on which mathematical proof rests. The establishment of mathematical truths, that is the deduction of theorems from a set of axioms, requires further assumptions, namely the axioms and rules of inference of logic itself. These are non-trivial and non - eliminable assumptions, and the