Amusing fact is it didn't take long at all, compared to some later approaches ;) 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-foun...