Sets: Naïve Axiomatic and Applied