Email zadetek: Applicable Mathematics in a Minimal Computational Theory of Sets