It's also deep, it goes all the way to the bottom.
> The world of mathematics is both broad and deep, and we need birds and frogs working together to explore it. -- Freeman Dyson
> The world of mathematics is both broad and deep, and we need birds and frogs working together to explore it. -- Freeman Dyson
https://www.youtube.com/watch?v=EVwQsvof7Hw
Peano arithmetic is sufficiently expressive enough to be equivalent to any possible future theory of mathematics.
Physics, Topology, Logic and Computation: A Rosetta Stone - https://arxiv.org/abs/0903.0340