The symbols they used would, of course, be different—but that’s a trivial difference. Instead of superficial differences we want to know whether they develop the prime number theorem; the min–max theorem; the four-color theorem. If their evolutionary history were completely different from our own, then perhaps they wouldn’t develop the theorems that humans have done.
Exactly
