Yes. Do you have a conclusion to that thought or more to add? I'd like to read it.
Alternative logical axioms are something I find interesting but I've only really studied a couple of alternative axiomatic systems of arithmetic (Peano - limited as it is by Godel's incompleteness theorem, Robinson, ZFC, can't think of any others of the top of my head).
