Mathematics is perhaps a subset of logic? I'm not very familiar with this space, but I think it's pretty cool that so much of math can be represented with very

Mathematics is perhaps a subset of logic? I'm not very familiar with this space, but I think it's pretty cool that so much of math can be represented with very simple rules building up, especially with things like the Lean proof language.