this is what you could call an implementation detail in how mathematical objects are created in ZFC, roughly analogous to how everything on a digital computer is ultimately strings of 0's and 1's.…

Posters: QiaochuYuan. QiaochuYuan

2 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/QiaochuYuan/status/1422317081622577156