> Math is like God. We use feeble human language to approximately talk about something that is beyond our ability. That sounds like giving up. The approach the

> Math is like God. We use feeble human language to approximately talk about something that is beyond our ability. That sounds like giving up. The approach the article is describing is a lot more satisfying - forming this concept of equivalence, and then using it to give genuine, rigorous answers to questions like: > You use Von Neuman naturals. I use Peano naturals. Which are the real naturals? Can they both be the naturals, even though they are clearly different?