Sets: Naïve, Axiomatic and Applied