Odd, I was thinking about this earlier today. I came to the conclusion that an axiomatization of math sans numbers doesn't make sense because you have to have a certain number of axioms. I'm certain a counterargument could be made though.
Well [Kind](https://github.com/uwu-tech/kind) has only one "axiom" (the lambda), so, I don't know? This is a really inspiring thought and I'm glad people are debating it for the content and not attacking Wolfram just because.
