Math is a formal science (https://en.wikipedia.org/wiki/Formal_science https://en.wikipedia.org/wiki/Formal_science). That term seems to be a little bit obscur

Math is a formal science (https://en.wikipedia.org/wiki/Formal_science https://en.wikipedia.org/wiki/Formal_science). That term seems to be a little bit obscure, but it's a useful idea.