Contributions to the Axiomatic Foundations of Set Theory