Is the robinson (1937) modification of Von Neumann's "Die Axiomatisierung der Mengenlehre" useful for anything? Ie, Useful in domains not covered by ZFC.
It's my understanding that nothing specific is gained from Robinson's non-standard analysis over standard analysis, so I was wondering if that same critique applied to von neumann's theory of categories vs zfc where functions are primitives rather than sets. Was wondering if I should spend time learning it, and if so my follow up would be on what is the difference between lambda calculus, and this von neumann/robinson "set" theory.
The 1937 Robinson paper is "THE THEORY OF CLASSES, A MODIFICATION OF VON NEUMANN'S SYSTEM"