From set theory to numbers