Some time ago, I wrote a couple of posts distinguishing All Possible Math from the Math We Know. In short, people only study the mathematics that is interesting or useful to us, and not too hard. When you think about that it becomes clear that there’s a lot more mathematics possible than the stuff Homo Sapiens talks about. Much of All Possible Math would be uninteresting for us, useless and/or too hard to grasp.