Name: Anonymous 2015-07-04 11:07
Axiomatic set theories provide the theoretical underpinnings of various subjects of interest to programmers and computer scientists. For instance relational database theory, and Lisp/scheme are both based upon set theory.
https://www.youtube.com/watch?v=beaBqjLhBJU