There are such reachable truths, but every mathematical system has a non empty set of axioms - or assumptions- which are 'given'.
(Yes, proofs relying on AC are arguably true even if you don't accept AC, but as a social reality some sets of axioms are considered valid bases for work and some aren't, you can keep adding stronger axioms to ZFC to prove more things more easily, but how far you go with that before it stops being interesting is a matter of opinion)