“From an intuitionistic standpoint, mathematics, when correctly carried on, would not need any justification from without, a buttress from the side or a foundation from below: it would wear its own justification on its face.”