Intuitive Axiomatic Set Theory