Axioms in Mathematical Practice | OUP Journals & Magazine | IEEE Xplore