|
|
|
|
|
|
by tel
4616 days ago
|
|
|
I don't think that either ZFC or ZFC/AFA dominates the other, just that the AFA bakes a framework for infinite streaming structures into the heart of your mathematics. You immediately lose extensional equality in favor of bisimulation, for instance. The point is more to see what centipede mathematics feels like than to claim greater power or expressiveness. |
|
|