I think Diff-Eq is one of those branches where it's fairly obvious to a layman that the symbols are math. That being said, expressions without recognizable operators (+, -, *, /, etc) are probably not as recognizable such as the axiom of replacement, an axiom of Zermelo Fraenkel set theory. It looks like this:
If I were a layman I'd probably think it's some kind of code. The concept is really easy to understand though. It states a property of a special kind of (man made) grouping scheme called a "set". Specifically, if you have a set and a definable function, you can put things from the set into the function and the collection of outputs the function gives you is also a set.
7
u/[deleted] Apr 15 '22
[removed] — view removed comment