From Set Theory to the Axiomatization of Set Theory | Synapse