Amusing fact is it didn't take long at all, compared to some later approaches ;) http://mathoverflow.net/questions/14356/bourbakis-epsilon-calculus-notation htt

Amusing fact is it didn't take long at all, compared to some later approaches ;) http://mathoverflow.net/questions/14356/bourbakis-epsilon-calculus-notation http://mathoverflow.net/questions/14356/bourbakis-epsilon-ca... And a twist you might find worthy a mention in your forthcoming essay, http://mathoverflow.net/questions/40920/what-if-current-foundations-of-mathematics-are-inconsistent/40928#40928 http://mathoverflow.net/questions/40920/what-if-current-foun...