so, a modern mathematician would never think she has the authority to decide if something is true or false, or if it's even decidable.

rather, they would state that if the axioms hold (including the assumptions of the rules of inference, which are usually treated as axioms) then the statement follows.

which doesn't mean it's true. it just means it's consistent.