Comment Comment by contraposit Weird Things Happen When Math Gets Too Expressivehttps://www.youtube.com/watch?v=EVwQsvof7HwPeano arithmetic is sufficiently expressive enough to be equivalent to any possible future theory of mathematics. parent contraposit 6 months ago
https://www.youtube.com/watch?v=EVwQsvof7Hw
Peano arithmetic is sufficiently expressive enough to be equivalent to any possible future theory of mathematics.