>>13137139No, there is nothing present in logic to deduce mathematical axioms. Just like there is nothing in logic to deduce its own axioms. Multiple systems of mathematics, multiple systems of logic. I am not really aware of what the base axioms of logic are, the ones I looked up appear to be logical definitions themselves. For even something as self-evident as A = A, probably requires a lot of formalism to abstract contexts. Suppose the atomist position that everything all around you is atoms, yet you are sitting on a chair. blah blah, I don't want to get into archaic concepts, it is just, I am surprised there isn't a more thorough accounting of logical axioms.
