I mean. Humans are GREAT at logic. We are not so good at discovering disruptive external correspondence instead of confirming internal consistency. We are really REALLY bad at surviving logical overloading. I mean… math is interesting simply because it is so simple, that from that trivial simplicity we can construct deterministic consequences, beyond our ability to imagine.