I'm not certain how to interpret what you're asking. However, if what you're asking is how to derive numbers from basic axiomatic set theory, that is certainly

I'm not certain how to interpret what you're asking. However, if what you're asking is how to derive numbers from basic axiomatic set theory, that is certainly available in metamath. An easy to read introduction is here: http://us.metamath.org/mpegif/mmcomplex.html http://us.metamath.org/mpegif/mmcomplex.html