Can mathematics be a subject of scientific study? Should axioms and proofs be replaced by empirical evidence?