“An adequate understanding of mathematical identity requires a missing theory that will account for the relationships between formal systems that describe the same items. At present, such relationships can at best be heuristically described in terms that invoke some notion of an ‘intelligent user standing outside the system.'”