Languages are "invented" too, but we can still use them to approximately describe reality. Things are true in math if we can follow the rules to derive the tru

Languages are "invented" too, but we can still use them to approximately describe reality. Things are true in math if we can follow the rules to derive the truth from axioms. That knowledge may then describe or predict something which should hold true in reality, which is tested via experiments.