Frege, Hilbert, Intution and the Truth of Axioms