even that can't be objectively correct because it based on agreed upon the definition of 1, definition of 2, definition of + and the axiom.
even that can't be objectively correct because it based on agreed upon the definition of 1, definition of 2, definition of + and the axiom.