Abstract math is somewhat special just like studying programming languages and semantics is somewhat special: it's something of a meta-science, applicable to al

Abstract math is somewhat special just like studying programming languages and semantics is somewhat special: it's something of a meta-science, applicable to all the programming you do. Everything else is specific to the domain you're programming in; these "meta" fields (I need a better name for them) have programming or reasoning itself as the domain.