 a priori justification and knowledge |  Bolzano, Bernard |  Dedekind, Richard: contributions to the foundations of mathematics |  diagrams |  mathematics: explanation in |  proof theory |  quantifiers and quantification |  Weyl, Hermann 