Axiomatic Set Theory and Applications