Set theoretic programming is a programming paradigm based on mathematical Set theory.
Template:Substub